Instruction (mavryk-benchmark-002-PtBoreas.Mavryk_benchmark_002

val match_any_instr : pattern

val replace_any_instr_by_hole : rule_set

val match_instr_hole : pattern

val replacement : 
  ?fresh:var list ->
  ?fresh_stack:int list ->
  bef:Mavryk_benchmark_type_inference_002_PtBoreas.Type.Stack.t ->
  aft:Mavryk_benchmark_type_inference_002_PtBoreas.Type.Stack.t ->
  replacement:replacement list ->
  unit ->
  guarded_replacement

val instructions : guarded_replacement list

val rules : rule_set list