Module PdgTypes.DpdZone

module DpdZone: sig .. end

include struct ... end
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