Module `Runtime`

The toplevel of the runtime environment

val run_many : (int -> Eval__.Vm.vm_atom Util.DList.t Eval__.Vm.AtomLists.t -> unit) -> ('a -> unit) -> ('a * (int * (Generator.lhs_inst list * Parse.arg list * Generator.rhs_inst list))) list -> int -> Eval__.Vm.vm_atom Util.DList.t Eval__.Vm.AtomLists.t -> Eval__.Vm.vm_atom Util.DList.t Eval__.Vm.AtomLists.t * int: Reduce as many as possible. Tail recursive (as it should be).

val run : (int -> Eval__.Vm.vm_atom Util.DList.t Eval__.Vm.AtomLists.t -> unit) -> (Eval__.Vm.vm_atom Util.DList.t Eval__.Vm.AtomLists.t -> string) -> ('a -> unit) -> ((int * Generator.rhs_inst list) * ('a * (int * (Generator.lhs_inst list * Parse.arg list * Generator.rhs_inst list))) list) -> unit: 初期状態を構築した後，最後まで実行して，最終状態を表示する