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