Frama-C API - Offsetmap_bitwise_sig
Signature for Offsetmap_bitwise
module, that implement efficient maps from intervals to values.
Values are simpler than those of the Offsetmap_sig
module: given a value v
bound to an interval i
, all sub-intervals of i
are implicitly also bound to v
. If you need e.g. to extract the k-th bit of the interval to retrieve a more precise value, you must use the Offsetmap
module instead.
module type S = sig ... end