Frama_c_kernel.Lmap_bitwise
Functors making map indexed by zone.
Plug-in Development Guide
exception Bitwise_cannot_copy
module type Location_map_bitwise = sig ... end
module type With_default = sig ... end
module Make_bitwise (V : With_default) : Location_map_bitwise with type v = V.t