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:
module Binary_Predicate:
module Symmetric_Binary_Predicate:
module Arity_One:
module Arity_Two:
module Arity_Three: