sig
  type t = (Locations.Zone.t * Locations.Location_Bits.t) BaseUtils.BaseMap.t
  val compute :
    (Relations_type.Model.t -> BaseUtils.BaseSet.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