Module `Main`

The toplevel of the runtime environment

val run_many : (int -> Main__.Vm.node_ref list -> unit) -> int -> (int * (Generator.lhs_inst list * Generator.rhs_inst list)) list -> Main__.Vm.node_ref list -> Main__.Vm.node_ref list: Reduce as many as possible. Tail recursive (as it should be).

val run : (int -> Main__.Vm.node_ref list -> unit) -> (Main__.Vm.node_ref list -> string) -> ((int * Generator.rhs_inst list) * (int * (Generator.lhs_inst list * Generator.rhs_inst list)) list) -> unit
val main : unit -> unit: The top level entry point