References (cobol_typeck.Cobol

module Resolver_map = Cobol_unit.Resolver_map

val empty_accumulator : Cobol_typeck__.Typeck_outputs.references_acc

val error : 
  Cobol_typeck__.Typeck_outputs.references_acc ->
  Cobol_typeck__.Typeck_procedure_diagnostics.error ->
  Cobol_typeck__.Typeck_outputs.references_acc

val resolve_data_qualname : 
  data_definitions:Cobol_unit.Types.data_definitions ->
  ?assume_partial_data_definitions:bool ->
  Cobol_ptree.qualname Cobol_common.Srcloc.TYPES.with_loc ->
  Cobol_typeck__.Typeck_outputs.references_acc ->
  ((Cobol_data.Types.data_definition,
     Cobol_ptree.qualname Cobol_common.Srcloc.TYPES.with_loc)
     Cobol_unit.Types.resolved_reference,
    unit)
    Stdlib.result
  * Cobol_typeck__.Typeck_outputs.references_acc

Emits a warning diagnostic on undefined data-name unless assume_partial_data_definitions is explictly set to true.

val resolve_record_name : 
  data_definitions:Cobol_unit.Types.data_definitions ->
  Cobol_ptree.name Cobol_common.Srcloc.with_loc ->
  Cobol_typeck__.Typeck_outputs.references_acc ->
  ((Cobol_data.Types.data_definition,
     Cobol_ptree.name Cobol_common.Srcloc.with_loc)
     Cobol_unit.Types.resolved_reference,
    unit)
    Stdlib.result
  * Cobol_typeck__.Typeck_outputs.references_acc

val register_data_qualname : 
  data_definitions:Cobol_unit.Types.data_definitions ->
  Cobol_ptree.qualname Cobol_common.Srcloc.TYPES.with_loc ->
  Cobol_typeck__.Typeck_outputs.references_acc ->
  Cobol_typeck__.Typeck_outputs.references_acc

val register_name : 
  data_definitions:Cobol_unit.Types.data_definitions ->
  Cobol_ptree.name Cobol_common.Srcloc.with_loc ->
  Cobol_typeck__.Typeck_outputs.references_acc ->
  Cobol_typeck__.Typeck_outputs.references_acc