Proc_builder (cobol_ir.Cobol_ir.Proc

val errors : 'a -> ('b, 'a) Stdlib.result

val error : 'a -> ('b, 'a Cobol_ir.Types.NEL.t) Stdlib.result

val translate_display_statement : 
  ('a Types.immutable_field Types.immutable_field, 'b, 'c) Env.TYPES.env ->
  Cobol_ptree.display_stmt Cobol_common__Srcloc.TYPES.with_loc ->
  ('a Types.immutable_field Types.immutable_field Types.statement
     Cobol_common__Srcloc.TYPES.with_loc
     list,
    Types.error Cobol_ir.Types.NEL.t)
    Stdlib.result

val translate_stop_statement : 
  ('a Types.immutable_field Types.immutable_field, 'b, 'c) Env.TYPES.env ->
  Cobol_ptree.stop_stmt Cobol_common__Srcloc.TYPES.with_loc ->
  ('a Types.immutable_field Types.immutable_field Types.statement
     Cobol_common__Srcloc.TYPES.with_loc
     list,
    Types.error Cobol_ir.Types.NEL.t)
    Stdlib.result

val translate_procedure : 
  ('a Types.immutable_field Types.immutable_field Types.immutable_field
     Types.immutable_field,
    'b,
    'c)
    Env.TYPES.env ->
  Cobol_unit.Types.procedure ->
  ('a Types.immutable_field Types.immutable_field Types.immutable_field
     Types.immutable_field
     Types.code_block,
    Types.error Cobol_ir.Types.NEL.t)
    Stdlib.result