Module `Main__.Match`

val exec_unrewindable_inst : Main__.Vm.node_ref array -> Generator.lhs_inst -> bool: 巻き戻しの起点にならない命令を一回実行する

val match_ : Main__.Vm.node_ref array -> Main__.Vm.node_ref list -> Generator.lhs_inst list -> bool: ルール左辺のマッチングを行う