sig
  type t = Print.G.E.t * bool
  val src : Print.G.E.t * '-> PdgTypes.Node.t
  val dst : Print.G.E.t * '-> PdgTypes.Node.t
end