DefaultWebSocketManagerOptions: {  readonly buildIdentifyThrottler: (manager: WebSocketManager) => Promise<SimpleIdentifyThrottler>;  readonly buildStrategy: (manager: WebSocketManager) => SimpleShardingStrategy;  readonly shardCount: null;  readonly shardIds: null;  readonly largeThreshold: null;  readonly initialPresence: null;  readonly identifyProperties: {    readonly browser: `@discordjs/ws ${string}`;    readonly device: `@discordjs/ws ${string}`;    readonly os: NodeJS.Platform;  };  readonly version: "10";  readonly encoding: Encoding;  readonly compression: null;  readonly useIdentifyCompression: false;  readonly retrieveSessionInfo: (shardId: number) => SessionInfo | null;  readonly updateSessionInfo: (shardId: number, info: SessionInfo | null) => void;  readonly handshakeTimeout: 30000;  readonly helloTimeout: 60000;  readonly readyTimeout: 15000;}