Module Access_path


module Access_path: sig .. end

val pretty : Format.formatter ->
(Locations.Zone.t * Locations.Location_Bits.t) BaseUtils.BaseMap.t -> unit
val compute : Relations_type.Model.t ->
BaseUtils.BaseSet.t ->
(Locations.Zone.t * Locations.Location_Bits.t) BaseUtils.BaseMap.t
val filter : (Locations.Zone.t * Locations.Location_Bits.t) BaseUtils.BaseMap.t ->
Locations.Zone.t ->
(Locations.Zone.t * Locations.Location_Bits.t) BaseUtils.BaseMap.t
val main : unit -> unit