Module Cir_builder.Procedure

val errors : 'a -> ('b, 'a) Stdlib.result
val error : 'a -> ('b, 'a Cir_builder.Types.NEL.t) Stdlib.result
val append_lists : ('a list, 'b Cir_builder.Types.NEL.t) Stdlib.result -> ('a list, 'b Cir_builder.Types.NEL.t) Stdlib.result -> ('a list, 'b Cir_builder.Types.NEL.t) Stdlib.result
type 'f code_block_builder = ('f Cir_types.code_block, Types.error Cobol_ptree.nel) Stdlib.result Cobol_unit.Visitor.folder
val translate_statements : 'a code_block_builder -> Cobol_ptree__.Branching_statements.statement Cobol_common.Srcloc.with_loc list -> ('a Cir_types.statement Cobol_common.Srcloc.TYPES.with_loc list, Types.error Cobol_ptree.nel) Stdlib.result
val translate_procedure : ('a list, 'b) Stdlib.result Cobol_unit.Visitor.folder -> Cobol_unit__.Unit_types.procedure -> ('a list, 'b) Stdlib.result