module DpdZone:sig
..end
include struct ... end
val pretty_debug : Format.formatter -> t -> unit
val dpd_zone : 'a * 'b -> 'b
val kind_and_zone : 'a -> 'a
val make : PdgTypes.Dpd.td -> 'a -> PdgTypes.Dpd.t * 'a
val is_dpd : PdgTypes.Dpd.td -> PdgTypes.Dpd.t * 'a -> bool
val add : PdgTypes.Dpd.t * Locations.Zone.t option ->
PdgTypes.Dpd.td ->
Locations.Zone.t option -> PdgTypes.Dpd.t * Locations.Zone.t option
val pretty : Format.formatter -> PdgTypes.Dpd.t * Locations.Zone.t option -> unit