diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-10-10 00:32:41 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-10-10 00:32:41 +0000 |
| commit | bd152dc4311a117f125916e1f75cb5ce02752630 (patch) | |
| tree | e22baa114dea5ff801ee8e1263e55e6f9f392f70 /lib/protocols/Handle.mli | |
| parent | ecd778d5d92dc7cd0b57b9eb78b509ab851f3474 (diff) | |
| download | RNT-bd152dc4311a117f125916e1f75cb5ce02752630.tar.gz RNT-bd152dc4311a117f125916e1f75cb5ce02752630.zip | |
`without_autorelease`, `keep`
Diffstat (limited to '')
| -rw-r--r-- | lib/protocols/Handle.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/protocols/Handle.mli b/lib/protocols/Handle.mli index 7b0a996..f1a9609 100644 --- a/lib/protocols/Handle.mli +++ b/lib/protocols/Handle.mli @@ -23,3 +23,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 keep : t -> unit |