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