Module Zones.Ctx

module Ctx: sig .. end

type t = Zones.Data.t Cil_datatype.Stmt.Hashtbl.t 
val create : int -> 'a Cil_datatype.Stmt.Hashtbl.t
val find : 'a Cil_datatype.Stmt.Hashtbl.t -> Cil_datatype.Stmt.Hashtbl.key -> 'a
val add : Locations.Zone.t Cil_datatype.Stmt.Hashtbl.t ->
Cil_datatype.Stmt.Hashtbl.key -> Locations.Zone.t -> unit
val _pretty : Format.formatter -> Locations.Zone.t Cil_datatype.Stmt.Hashtbl.t -> unit