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