package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Maps from bases to memory maps. The memory maps are those of the Offsetmap module.

type 'a default_contents =
  1. | Bottom
  2. | Top of 'a
  3. | Constant of 'a
  4. | Other

Contents of a variable when it is not present in the state. See function default_contents in the functor below

module Make_LOffset (V : sig ... end) (Offsetmap : Offsetmap_sig.S with type v = V.t and type widen_hint = V.numerical_widen_hint) (Default_offsetmap : sig ... end) : Lmap_sig.S with type v = V.t and type widen_hint_base = V.numerical_widen_hint and type offsetmap = Offsetmap.t
OCaml

Innovation. Community. Security.