Cache_lib (cache_lib.Cache

module Intf : module type of Intf

include Intf.Main.S

module Cached : Intf.Cached.S

module Cache : 
  Intf.Cache.S with type ('t, 'cache_t) cached := ( 't, 'cache_t ) Cached.t

module Transmuter_cache : 
  Intf.Transmuter_cache.F
    with module Cached := Cached
     and module Cache := Cache