Functor Lmap.Make_LOffset

module Make_LOffset: 
functor (V : Lattice_With_Isotropy.S) ->
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 -> Offsetmap.t
end) -> module type of Lmap_sig with type v = V.t and type widen_hint_y = V.widen_hint and type offsetmap = Offsetmap.t
Parameters:
V : Lattice_With_Isotropy.S
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 -> Offsetmap.t end