DGraphSubTree.Make_from_dot_modelmodule Tree : Tree with type V.label = DGraphModel.DotG.V.t and type E.label = unitinclude S with module Tree = Treemodule Tree = Treeval get_tree_vertices : Tree.V.label -> t -> Tree.V.t listval get_graph_vertex : Tree.V.t -> t -> Tree.V.labelval make :
(Tree.V.label, DGraphModel.DotG.E.t, string) DGraphModel.abstract_model ->
Tree.V.label ->
int ->
int ->
t