Module Access_path


module Access_path: sig .. end

val pretty : Format.formatter -> Db.Access_path.t -> unit
val compute : Relations_type.Model.t -> Base.Set.t -> Db.Access_path.t
val filter : (Locations.Zone.t * Locations.Location_Bits.t) Base.Map.t ->
Locations.Zone.t -> (Locations.Zone.t * Locations.Location_Bits.t) Base.Map.t
val main : unit -> unit