Module Frama_c_kernel.Lmap_bitwise

Functors making map indexed by zone.

exception Bitwise_cannot_copy
module type Location_map_bitwise = sig ... end
module type With_default = sig ... end