incremental

Library for incremental computations
IN THIS PACKAGE
type t
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.