Constant WS_CHANNEL_STATE_CLOSED 

pub const WS_CHANNEL_STATE_CLOSED: WS_CHANNEL_STATE;