Module Offsetmap_bitwise

module Offsetmap_bitwise: sig .. end
Undocumented. Do not use this module if you don't know what you are doing.

type itv = Abstract_interp.Int.t * Abstract_interp.Int.t 
module Make: 
functor (V : Lattice_type.Bounded_Join_Semi_Lattice) -> sig .. end