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.numerical_widen_hint
Maps from intervals to values.
module Make_bitwise: 
functor (V : sig
include 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.