Module 1-Tree.V
Vertices have type V.t and are labeled with type V.label (note that an implementation may identify the vertex with its label)
type label= DGraphModel.DotG.V.t
1-Tree.VVertices have type V.t and are labeled with type V.label (note that an implementation may identify the vertex with its label)
type label = DGraphModel.DotG.V.t