Kappa_generic_toolset.Cache
module type Cache = sig ... end
module Cache : functor (OO : SetMap.OrderedType) -> Cache with type O.t = OO.t