pub const WSDET_NONE: WSDEventType;