Module Db.Access_path

module Access_path: sig .. end
Do not use yet.

type t = (Locations.Zone.t * Locations.Location_Bits.t) Base.Map.t 
val compute : (Cvalue.Model.t -> Base.Set.t -> t) Pervasives.ref
val filter : (t -> Locations.Zone.t -> t) Pervasives.ref
val pretty : (Format.formatter -> t -> unit) Pervasives.ref