Module Binary_cache


module Binary_cache: sig .. end

module MemoryFootprint: State_builder.Ref  with type data = int
module type Cacheable = sig .. end
module type Result = sig .. end
module Make_Symetric: 
functor (H : Cacheable) ->
functor (R : Result) -> sig .. end
module Make_Asymetric: 
functor (H : Cacheable) ->
functor (R : Result) -> sig .. end
module Make_Binary: 
functor (H0 : Cacheable) ->
functor (H1 : Cacheable) -> sig .. end
module Make_Het1_1_4: 
functor (H0 : Cacheable) ->
functor (H1 : Cacheable) ->
functor (H2 : Cacheable) ->
functor (R : Result) -> sig .. end