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