Module Lmap_bitwise

module Lmap_bitwise: sig .. end
Functors making map indexed by zone.
Consult the Plugin Development Guide for additional details.

exception Bitwise_cannot_copy
module type Location_map_bitwise = sig .. end
module type With_default = sig .. end
Lattice with default values on a range or on an entire base.
module Make_bitwise: 
functor (V : With_default) -> Location_map_bitwise with type y = V.t