sig   type t   type label   val src : PdgTypes.G.E.t -> PdgTypes.Node.t   val dst : PdgTypes.G.E.t -> PdgTypes.Node.t   val label : PdgTypes.G.E.t -> PdgTypes.G.E.label end