Replacement policy
This dictates when elements will droped from the cache.
type 'a with_init_args
This type is used to specify the signature of cps_create
. For instance
if cps_create
takes two arguments of types x
and y
:
type 'a with_init_args : x -> y -> 'a
val cps_create : f:(_ t ‑> 'b) ‑> 'b with_init_args
cps_create ~f
is given in CPS form to enable chaining. (i.e. instead of
directly returning a value it applies f to this value).
val touch : 'a t ‑> 'a ‑> 'a list
Marks an element as "fresh". Returns a list of elements to be dropped from the store.