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.