proc close(ws: WebSocket) {....raises: [], tags: [RootEffect], forbids: [].}

proc newWebSocket(url: string): WebSocket {....raises: [CatchableError, ValueError,
    HttpRequestError, LibraryError, Exception, OSError, SslError, IOError,
    TimeoutError, ProtocolError, KeyError],
    tags: [RootEffect, ReadIOEffect, WriteIOEffect, TimeEffect], forbids: [].}

proc receiveMessage(ws: WebSocket; timeout = -1): Option[Message] {....gcsafe,
    raises: [CatchableError, OSError, SslError, TimeoutError],
    tags: [ReadIOEffect, TimeEffect], forbids: [].}

proc send(ws: WebSocket; data: sink string; kind = TextMessage) {....gcsafe,
    raises: [SslError, OSError, CatchableError], tags: [WriteIOEffect],
    forbids: [].}