Cobol_typeck (cobol_typeck.Cobol

module OLD : sig ... end

Type-checking and validation of COBOL compilation groups

module Outputs : sig ... end

module Diagnostics : sig ... end

module Results : sig ... end

val compilation_group : 
  ?config:Cobol_config.t ->
  fold_exec_block':
    (register_name:
       (string Cobol_common.Srcloc.TYPES.with_loc ->
         Cobol_typeck__.Typeck_outputs.references_acc ->
         Cobol_typeck__.Typeck_outputs.references_acc) ->
      Cobol_common.Exec_block.TYPES.exec_block
        Cobol_common.Srcloc.TYPES.with_loc ->
      Cobol_typeck__.Typeck_outputs.references_acc ->
      Cobol_typeck__.Typeck_outputs.references_acc) ->
  _ Cobol_parser.Outputs.parsed_compilation_group ->
  Cobol_typeck__.Typeck_outputs.outputs
    Cobol_typeck__.Typeck_results.TYPES.with_diags