sig type t type label val label : DGraphSubTree.G.V.t -> DGraphSubTree.G.V.label val hash : DGraphSubTree.G.V.t -> int val equal : DGraphSubTree.G.V.t -> DGraphSubTree.G.V.t -> bool end