Frama-C API - `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

module Make_bitwise (V : With_default) : Location_map_bitwise with type v = V.t

Frama-C API - Lmap_bitwise