Module Lmap

module Lmap: sig .. end
Maps from bases to memory maps. The memory maps are those of the Offsetmap module.
Consult the Plugin Development Guide for additional details.

module Make_LOffset: 
functor (V : module type of Offsetmap_lattice_with_isotropy) ->
functor (Offsetmap : module type of Offsetmap_sig with type v = V.t and type widen_hint = V.widen_hint) ->
functor (Default_offsetmap : sig
val default_offsetmap : Base.t -> [ `Bottom | `Map of Offsetmap.t ]
val is_default_offsetmap : Base.t -> Offsetmap.t -> bool
end) -> module type of Lmap_sig with type v = V.t and type widen_hint_base = V.widen_hint and type offsetmap = Offsetmap.t