package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

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

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