diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-10-10 02:14:55 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-10-10 02:14:55 +0000 |
| commit | 6201bbc6e7171f037467bbfc2d0a6da084fb516c (patch) | |
| tree | adbe90a81ebc6b732e83fcbdc10b5ca8eb55297b /lib/protocols/Handle.mli | |
| parent | c19a5169c5fcbfba5546f49d6d4d0b0e29d40e3a (diff) | |
| download | RNT-6201bbc6e7171f037467bbfc2d0a6da084fb516c.tar.gz RNT-6201bbc6e7171f037467bbfc2d0a6da084fb516c.zip | |
Make the autorelease pool opt-in
Diffstat (limited to 'lib/protocols/Handle.mli')
| -rw-r--r-- | lib/protocols/Handle.mli | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/protocols/Handle.mli b/lib/protocols/Handle.mli index 47cee38..1c3b9d4 100644 --- a/lib/protocols/Handle.mli +++ b/lib/protocols/Handle.mli @@ -24,6 +24,5 @@ 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 -val without_autorelease : (unit -> 'a) -> 'a -val autorelease : t -> unit -val keep : t -> unit +val autorelease : t -> t +val keep : t -> t |