Module Offsetmap

module Offsetmap: sig .. end
Maps from intervals to values. The documentation of the returned maps is in module Offsetmap_sig.

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