sig
  type t
  type label
  val src : PdgTypes.G.E.t -> PdgTypes.Node.t
  val dst : PdgTypes.G.E.t -> PdgTypes.Node.t
  val label : PdgTypes.G.E.t -> PdgTypes.G.E.label
end