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