Module Main__.Dump
type dump_atom=|DumpAtom of int * int * string * int listDumpAtom (addr, indeg, (atom_name, addrs))
val get_dump_addr : ((Main__.Eval.node_ref * int) list * int) -> Main__.Eval.node_ref -> ((Main__.Eval.node_ref * int) list * int) * (int * dump_atom list)val get_dump_ind : ((Main__.Eval.node_ref * int) list * int) -> (int * Main__.Eval.node_ref) -> ((Main__.Eval.node_ref * int) list * int) * (dump_atom * dump_atom list)val get_dump_atoms : Main__.Eval.node_ref list -> dump_atom list * dump_atom listアトムリストに登録されているアトムのリスト（順序も保存する）と登録されていないがトラバースできたアトムのリストの組を返す
val string_of_dump_atom : dump_atom -> stringval dbg_dump : Main__.Eval.node_ref list -> string