Constant WS_SERVICE_PROXY_STATE_CLOSED 

pub const WS_SERVICE_PROXY_STATE_CLOSED: WS_SERVICE_PROXY_STATE;