package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

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