Module Binary_cache

module Binary_cache: sig .. end

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: functor (H : Cacheable) -> functor (R : Result) -> sig .. end

module Binary_Predicate: functor (H0 : Cacheable) -> functor (H1 : Cacheable) -> sig .. end

module Symmetric_Binary_Predicate: functor (H0 : Cacheable) -> sig .. end

module Arity_One: functor (H : Cacheable) -> functor (R : Result) -> sig .. end

module Arity_Two: functor (H0 : Cacheable) -> functor (H1 : Cacheable) -> functor (R : Result) -> sig .. end

module Arity_Three: functor (H0 : Cacheable) -> functor (H1 : Cacheable) -> functor (H2 : Cacheable) -> functor (R : Result) -> sig .. end