functor (Tree : Graph.Graphviz.GraphWithDotAttrs) (TreeManipulation : sig val is_ghost_node : Tree.V.t -> bool end) -> sig val from_tree : [> `widget ] Gtk.obj -> Tree.t -> Tree.V.t -> XDot.Make(Tree).graph_layout end