Instruction (mavryk-benchmark-001-PtAtLas.Mavryk_benchmark_001

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_001_PtAtLas.Type.Stack.t ->
  aft:Mavryk_benchmark_type_inference_001_PtAtLas.Type.Stack.t ->
  replacement:replacement list ->
  unit ->
  guarded_replacement

val instructions : guarded_replacement list

val rules : rule_set list