Module `Resource_cache__.Resource_cache0`

include Resource_cache__.Resource_cache_intf.Resource_cache

module type S = Resource_cache__.Resource_cache_intf.S

module Make : functor (R : Resource_cache.Resource.S) -> S with type key := R.Key.t and type common_args := R.Common_args.t and type resource := R.t: Cache.Make creates a cache module that exposes a simple with_ interface over its resources. The cache has the following properties:

module Make_simple : functor (R : Resource_cache.Resource.Simple) -> S with type key := R.Key.t and type common_args := R.Common_args.t and type resource := R.t: Wrap a resource that does not natively support a has_close_started operation in a simple record to add such tracking.

module Make_wrapped : functor (R : Resource_cache.Resource.S_wrapped) -> S with type key := R.Key.t and type common_args := R.Common_args.t and type resource := R.resource: 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.