add .mli for rpool

This commit is contained in:
Simon Cruanes 2025-05-07 13:15:37 -04:00
parent 81096e0d3c
commit a4779227fa
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

10
src/util/rpool.mli Normal file
View file

@ -0,0 +1,10 @@
(** A resource pool (for buffers) *)
type 'a t
val create :
max_size:int -> create:(unit -> 'a) -> clear:('a -> unit) -> unit -> 'a t
val alloc : 'a t -> 'a
val recycle : 'a t -> 'a -> unit
val with_ : 'a t -> ('a -> 'b) -> 'b