Module Binary_cache


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: 
functor (H : Cacheable) ->
functor (R : Result) -> sig .. end
module Make_Asymetric: 
functor (H : Cacheable) ->
functor (R : Result) -> sig .. end
module Make_Het: 
functor (H1 : Cacheable) ->
functor (H2 : Cacheable) ->
functor (R : Result) -> sig .. end