diff options
Diffstat (limited to 'portal/lib/portal.mli')
| -rw-r--r-- | portal/lib/portal.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/portal/lib/portal.mli b/portal/lib/portal.mli index 4432e47..d752fa7 100644 --- a/portal/lib/portal.mli +++ b/portal/lib/portal.mli @@ -1,5 +1,7 @@ +type t = string Lwt_stream.t * (string option -> unit) + val stanza_open : string -> string val stanza_close : string -val connect : string -> (string Lwt_stream.t * (string option -> unit)) Lwt.t +val connect : string -> t Lwt.t |