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 set_cache_size : int -> unit

set_cache_size n sets the size cache to 2^(8+n). Does not resize already created caches.

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`