Frama-C API - `Binary_cache`

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

Frama-C API - Binary_cache

Frama-C API - `Binary_cache`