diff options
| author | Clombrong <clombrong@egregore.fun> | 2025-05-30 01:21:36 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-05-30 01:21:36 +0200 |
| commit | 91e3de96fd83cfda68b3a842702f1a70cc06768d (patch) | |
| tree | 0e3327a4b10785f8b7b8b145bd9ecad0ffe139b6 /portal/lib/portal.mli | |
| parent | 94ca2d0a5052edbba7a629254cf509d8f8aff6a8 (diff) | |
feat(portal): add default type t
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 |