package frama-c

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

Very low-level abstract functorial caches. Do not use them unless you understand what happens in this module, and do not forget that those caches are not aware of projects.

val memory_footprint_var_name : string
val cache_size : int

Size of the caches. Controlled by environment variable memory_footprint_var_name.

module type Cacheable = sig ... end
module type Result = sig ... end
module Symmetric_Binary (H : Cacheable) (R : Result) : sig ... end
module Binary_Predicate (H0 : Cacheable) (H1 : Cacheable) : sig ... end
module Symmetric_Binary_Predicate (H0 : Cacheable) : sig ... end
module Arity_One (H : Cacheable) (R : Result) : sig ... end
module Arity_Two (H0 : Cacheable) (H1 : Cacheable) (R : Result) : sig ... end
module Arity_Three (H0 : Cacheable) (H1 : Cacheable) (H2 : Cacheable) (R : Result) : sig ... end
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