Module Eval__.Match

val exec_unrewindable_inst : Eval__.Vm.vm_atom Util.DList.element array -> Generator.lhs_inst -> bool

巻き戻しの起点にならない，プロセス文脈に関係しない，マッチング命令を一回実行する

val match_ : Eval__.Vm.vm_atom Util.DList.element array -> Eval__.Vm.vm_atom Util.DList.t Eval__.Vm.AtomLists.t -> Generator.lhs_inst list -> bool * (string * Eval__.Vm.link) list

ルール左辺のマッチング実行のトップレベル

parameter atom_lists

ファンクタごとにあるアトムリストのリスト