Functor Offsetmap.Make

module Make: 
functor (V : Lattice_With_Isotropy.S) -> module type of Offsetmap_sig with type v = V.t and type widen_hint = V.widen_hint
Parameters:
V : Lattice_With_Isotropy.S