Module Offsetmap

module Offsetmap: sig .. end

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

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