Parameter Make.M type keyThe type of your key.type valueThe type of the stored value.val compare : key -> key -> intThe function used to compare keys.val get : key -> value Lwt.tThis function is called when the value corresponding to a key is not yet stored into the cache.