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