Module Resource_cacheSource

Cache.Make creates a cache module that exposes a simple with_ interface over its resources. The cache has the following properties:

Wrap a resource that does not natively support a has_close_started operation in a simple record to add such tracking.

Make a cache from a resource where the type clients wish to operate on is derived from, but not necessarily equal to, the type held by the cache.