Functor Offsetmap.Make_bitwise

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. The documentation of the returned maps is in module Offsetmap_bitwise_sig.
Parameters:
V : sig include Lattice_type.Bounded_Join_Semi_Lattice include Lattice_type.With_Narrow with type t := t include Lattice_type.With_Top with type t := t end