diff options
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 f63bbea..5640b14 100644 --- a/lib/protocols/Handle.mli +++ b/lib/protocols/Handle.mli @@ -14,6 +14,7 @@ end val make : #obj -> t val into : t -> (protocol -> 'a option) -> 'a interface option +val from : 'a interface -> t val invoke : 'a interface -> ('a -> 'b) -> 'b |