diff options
Diffstat (limited to 'portal/ws')
| -rw-r--r-- | portal/ws/portal.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/portal/ws/portal.ml b/portal/ws/portal.ml index 5ad82c3..6b42216 100644 --- a/portal/ws/portal.ml +++ b/portal/ws/portal.ml @@ -7,6 +7,12 @@ let sjs = Js.to_string type socket = WebSockets.webSocket Js.t +(** Opaque domain name type. Currently a string. *) +type domain = string + +let domain_of_string (s : string) : domain = s +let domain_to_string (s : domain) : string = s + type t = { mutable stream : (signal, async) stream; mutable push : (signal, sync) stream option -> unit; |