Module Function_Froms.Memory

module Memory: sig .. end

include Lmap_bitwise.Location_map_bitwise
val pretty_ind_data : Format.formatter -> t -> unit
val find : t -> Locations.Zone.t -> Locations.Zone.t
Imprecise version of find, in which data and indirect dependencies are not distinguished
val find_precise : t -> Locations.Zone.t -> Function_Froms.Deps.t
Precise version of find