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 Make_Symmetric: 
functor (H : Cacheable) ->
functor (R : Result) -> sig .. end
module Make_Asymmetric: 
functor (H : Cacheable) ->
functor (R : Result) -> sig .. end
module Make_Binary: 
functor (H0 : Cacheable) ->
functor (H1 : Cacheable) -> sig .. end
module Make_Symmetric_Binary: 
functor (H0 : Cacheable) -> sig .. end
module Make_Het1_1_4: 
functor (H0 : Cacheable) ->
functor (H1 : Cacheable) ->
functor (H2 : Cacheable) ->
functor (R : Result) -> sig .. end