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