Main.S
module Cached : Cached.S
module Cache : Cache.S with type ('t, 'cache_t) cached := ( 't, 'cache_t ) Cached.t
module Transmuter_cache : Transmuter_cache.F with module Cached := Cached and module Cache := Cache