Module 1-Incr.Packed
val save_dot : string -> t list -> unit
save_dot file ts
outputs tofile
the DAG of nodes ints
and all their descendants, in dot format.
1-Incr.Packed
val save_dot : string -> t list -> unit
save_dot file ts
outputs to file
the DAG of nodes in ts
and all their descendants, in dot format.