@jupyterlab/services/lib/shim/ws.d.ts

Client APIs for the Jupyter services REST APIs

export default WebSocket;