This commit is contained in:
Simon Cruanes 2023-06-26 16:04:13 -04:00
parent e1f0c58065
commit 9a587918fb
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,4 +1,11 @@
(** Resource pool *)
(** Resource pool.
This pool is used for buffers. It can be used for other resources
but do note that it assumes resources are still reasonably
cheap to produce and discard, and will never block waiting for
a resource it's not a good pool for DB connections.
@since NEXT_RELEASE. *)
type 'a t
(** Pool of values of type ['a] *)