module Binary_cache: sig .. end
sig
end
module MemoryFootprint: State_builder.Ref with type data = int
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
functor (
H
:
Cacheable
) ->
R
Result
module Make_Asymetric: functor (H : Cacheable) -> functor (R : Result) -> sig .. end
module Make_Binary: functor (H0 : Cacheable) -> functor (H1 : Cacheable) -> sig .. end
H0
H1
module Make_Het1_1_4: functor (H0 : Cacheable) -> functor (H1 : Cacheable) -> functor (H2 : Cacheable) -> functor (R : Result) -> sig .. end
H2