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