Module Os_request_cacheCaching request data to avoid doing the same computation several times during the same request. module type Cache_sig = sig ... endmodule Make (M : sig ... end) : Cache_sig with type key = M.key and type value = M.valueFunctor which creates a module Cache_sig.