References (cobol_typeck.Cobol

module Qualmap = Cobol_unit.Qualmap

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 ->
  ?strict: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

May raise Not_found when strict = true (the default)

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

May raise Not_found

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