diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-08-22 22:06:47 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-08-23 03:06:58 +0000 |
| commit | 44851daf1601f0f7ac1ff22bc5677c07dfd4ae2e (patch) | |
| tree | a2ecab9c00caec7a2b7a83c0aa86a633c6e803b1 /lib/protocols/Handle.mli | |
| parent | db968eccee931abc8ad00d74d152625a2ab3174e (diff) | |
| download | RNT-44851daf1601f0f7ac1ff22bc5677c07dfd4ae2e.tar.gz RNT-44851daf1601f0f7ac1ff22bc5677c07dfd4ae2e.zip | |
The handle protocol
Diffstat (limited to '')
| -rw-r--r-- | lib/protocols/Handle.mli | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/lib/protocols/Handle.mli b/lib/protocols/Handle.mli new file mode 100644 index 0000000..6fe175b --- /dev/null +++ b/lib/protocols/Handle.mli @@ -0,0 +1,20 @@ +type t + +type 'a interface + +type protocol = .. + +class type obj = object + method reference : bool + method release : unit + method protocols : protocol list +end + +val make : obj -> t + +val into : t -> (protocol -> 'a option) -> 'a interface option + +val invoke : 'a interface -> ('a -> 'b) -> 'b + +val copy : t -> t option +val release : t -> unit |