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