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