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