Functor Lmap.Make_LOffset

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
Parameters:
V : module type of Offsetmap_lattice_with_isotropy
Offsetmap : module type of Offsetmap_sig with type v = V.t and type widen_hint = V.widen_hint
Default_offsetmap : sig val default_offsetmap : Base.t -> [`Bottom | `Map of Offsetmap.t] val is_default_offsetmap: Base.t -> Offsetmap.t -> bool end