module Memory: sig .. end
sig
end
include Lmap_bitwise.Location_map_bitwise
val pretty_ind_data : Format.formatter -> t -> unit
Format.formatter -> t -> unit
val find : t -> Locations.Zone.t -> Locations.Zone.t
t -> Locations.Zone.t -> Locations.Zone.t
val find_precise : t -> Locations.Zone.t -> Function_Froms.Deps.t
t -> Locations.Zone.t -> Function_Froms.Deps.t