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