Main (cobol_ir.Cobol

val run_block : 
  vm:('a, 'b, 'c) Types.value_manager ->
  'd ->
  'a Types.statement Cobol_common__Srcloc.TYPES.with_loc list ->
  (int, Types.errors) Stdlib.result

val run_statement : 
  vm:('a, 'b, 'c) Types.value_manager ->
  'd ->
  'a Types.statement Cobol_common__Srcloc.TYPES.with_loc ->
  (Types.computation_state, Types.errors) Stdlib.result

val run_proc : 
  vm:('a, 'b, 'c) Types.value_manager ->
  'd ->
  'a Types.statement Cobol_common__Srcloc.TYPES.with_loc list ->
  (int, Types.errors) Stdlib.result

val run_unit : 
  vm:('a, 'b, 'c) Types.value_manager ->
  Cobol_unit.Types.t ->
  (int, Types.errors) Stdlib.result