Module `Main__.Pretty`

val get_link_name : (('a * int) list * int) -> 'a -> (('a * int) list * int) * string
val dump_arg : (Main__.Eval.node_ref list * ((Main__.Eval.node_ref * int) list * int)) -> Main__.Eval.node_ref -> (Main__.Eval.node_ref list * ((Main__.Eval.node_ref * int) list * int)) * string
val dump_atom : bool -> (Main__.Eval.node_ref list * ((Main__.Eval.node_ref * int) list * int)) -> Main__.Eval.node_ref -> (Main__.Eval.node_ref list * ((Main__.Eval.node_ref * int) list * int)) * string
val dump_ind : (Main__.Eval.node_ref list * ((Main__.Eval.node_ref * int) list * int)) -> Main__.Eval.node_ref -> (Main__.Eval.node_ref list * ((Main__.Eval.node_ref * int) list * int)) * string option
val visit : (Main__.Eval.node_ref list * Main__.Eval.node_ref list) -> Main__.Eval.node_ref -> Main__.Eval.node_ref list * Main__.Eval.node_ref list: A helper function for tpl_sort Notice this function will also return indirections that are not in the atom_list but traversable from it.

val tpl_sort : Main__.Eval.node_ref list -> Main__.Eval.node_ref list: Topological sort

val functor_sort : (int * Main__.Eval.vm_atom) Stdlib.ref list -> (int * Main__.Eval.vm_atom) Stdlib.ref list: functor でソートする

val dump : Main__.Eval.node_ref list -> string: Pretty printer for printing nodes