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.generic_widen_hint
Maps from intervals to values. The documentation of the returned maps is in module Offsetmap_sig.
Parameters:
V : module type of Offsetmap_lattice_with_isotropy