sig
  type t
  module E :
    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
  val create : unit -> PdgTypes.G.t
  val add_elem : PdgTypes.G.t -> PdgIndex.Key.t -> PdgTypes.Node.t
  val add_dpd :
    PdgTypes.G.t ->
    PdgTypes.Node.t ->
    PdgTypes.Dpd.td -> Locations.Zone.t option -> PdgTypes.Node.t -> unit
end