Module Offsetmap

module Offsetmap: sig .. end

Maps from intervals to values.

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.

module Make_bitwise: functor (V : siginclude Lattice_type.Bounded_Join_Semi_Lattice
include Lattice_type.With_Narrow
include Lattice_type.With_Top
end) -> module type of Offsetmap_bitwise_sig 
    with type v = V.t
    and type intervals = Int_Intervals.t

Maps from intervals to simple values.