//# sourceMappingURL=ws_provider.d.ts.map