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.numerical_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