Outputs (cobol_typeck.Cobol

type qualrefmap = Cobol_common.Srcloc.TYPES.srcloc list Cobol_unit.Qual.MAP.t

type references_in_unit = {

data_refs : qualrefmap;
proc_refs : qualrefmap;

}

type references_in_group = references_in_unit Cobol_unit.Collections.MAP.t

type artifacts = {

references : references_in_group;

}

type outputs = {

ptree : Cobol_ptree.compilation_group;
group : Cobol_unit.Types.group;
artifacts : artifacts;

}

type t = outputs

type references_acc = {

current_section : Cobol_unit.Types.procedure_section option;
refs : references_in_unit;
diags : Cobol_typeck__.Typeck_diagnostics.diagnostic list;

}

type fold_exec_block' =
  register_name:
    (string Cobol_common.Srcloc.TYPES.with_loc ->
      references_acc ->
      references_acc) ->
  Cobol_common.Exec_block.TYPES.exec_block Cobol_common.Srcloc.TYPES.with_loc ->
  references_acc ->
  references_acc

val no_refs : references_in_unit

val no_artifacts : artifacts

val none : t

val merge_qualrefmaps : qualrefmap -> qualrefmap -> qualrefmap

val register_qualref : 
  Cobol_unit.Qual.MAP.key ->
  loc:'a ->
  'a list Cobol_unit.Qual.MAP.t ->
  'a list Cobol_unit.Qual.MAP.t

val register_data_qualref : 
  Cobol_unit.Qual.MAP.key ->
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  references_in_unit ->
  references_in_unit

val register_proc_qualref : 
  Cobol_unit.Qual.MAP.key ->
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  references_in_unit ->
  references_in_unit

val register_data_field_ref : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  Cobol_data.Types.field_definition Cobol_common__Srcloc.TYPES.with_loc ->
  references_in_unit ->
  references_in_unit

val register_data_renaming_ref : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  Cobol_data.Types.record_renaming Cobol_common__Srcloc.TYPES.with_loc ->
  references_in_unit ->
  references_in_unit

val register_condition_name_ref : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  Cobol_data.Types.condition_name Cobol_common__Srcloc.TYPES.with_loc ->
  references_in_unit ->
  references_in_unit

val register_procedure_ref : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  Cobol_unit.Types.procedure_block ->
  references_in_unit ->
  references_in_unit