Module Properties_status.Consolidation_tree.G


module G: Graph.Sig.G  with type V.t = vertex
			and type E.label = edge
			and type E.t = vertex * edge * vertex