sig
type t
val get_structure : DGraphTreeModel.S.TreeManipulation.t -> Tree.t
val get_tree_vertices :
Tree.V.label -> DGraphTreeModel.S.TreeManipulation.t -> Tree.V.t list
val get_graph_vertex :
Tree.V.t -> DGraphTreeModel.S.TreeManipulation.t -> Tree.V.label
val is_ghost_node :
Tree.V.t -> DGraphTreeModel.S.TreeManipulation.t -> bool
val is_ghost_edge :
Tree.E.t -> DGraphTreeModel.S.TreeManipulation.t -> bool
end