module Binary_cache:sig
..end
module MemoryFootprint:Computation.REF_OUTPUT
with type data = int
module type Cacheable =sig
..end
module type Result =sig
..end
module Bool_Result:Result
with type t = bool
module Make_Symetric:
module Make_Asymetric:
module Make_Het: