diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-10-08 02:13:00 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-10-08 02:24:21 +0000 |
| commit | 290be60cf34ef2550a8cb9aa447c232445cd1476 (patch) | |
| tree | 723be5d7b60d1938bd12c8b5548a15fdb5209445 /lib/protocols/Handle.mli | |
| parent | ce31009e697830314591ffa4760da9705fc7982a (diff) | |
| download | RNT-290be60cf34ef2550a8cb9aa447c232445cd1476.tar.gz RNT-290be60cf34ef2550a8cb9aa447c232445cd1476.zip | |
Autorelease pools
Diffstat (limited to '')
| -rw-r--r-- | lib/protocols/Handle.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/protocols/Handle.mli b/lib/protocols/Handle.mli index f413aac..7b0a996 100644 --- a/lib/protocols/Handle.mli +++ b/lib/protocols/Handle.mli @@ -22,3 +22,4 @@ val hash : t -> Concepts.Hash.hash val protocols : t -> protocol list val to_string : t -> string val require : (t -> 'a interface option) -> t -> ('a interface, Concepts.Condition.condition) result +val with_autorelease : (unit -> 'a) -> 'a |