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