package frama-c

  1. Overview
  2. Docs
package frama-c
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 signature below

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

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct