Functor Offsetmap.Make

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