sig type t = PdgTypes.G.E.t * bool val src : ('a * 'b * 'c) * 'd -> 'c val dst : ('a * 'b * 'c) * 'd -> 'a end