module E: sig .. end
sig
end
type t = PdgTypes.Node.t * PdgTypes.DpdZone.t * PdgTypes.Node.t
PdgTypes.Node.t * PdgTypes.DpdZone.t * PdgTypes.Node.t
type label = PdgTypes.DpdZone.t
PdgTypes.DpdZone.t
val src : 'a * 'b * 'c -> 'a
'a * 'b * 'c -> 'a
val dst : 'a * 'b * 'c -> 'c
'a * 'b * 'c -> 'c
val label : 'a * 'b * 'c -> 'b
'a * 'b * 'c -> 'b