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 ->
  _ Cobol_parser.Outputs.parsed_compilation_group ->
  Cobol_typeck__.Typeck_outputs.outputs
    Cobol_typeck__.Typeck_results.TYPES.with_diags