sig type t = Print.G.E.t * bool val src : Print.G.E.t * 'a -> PdgTypes.Node.t val dst : Print.G.E.t * 'a -> PdgTypes.Node.t end