Constant WS_CHANNEL_PROPERTY_KEEP_ALIVE_TIME 

pub const WS_CHANNEL_PROPERTY_KEEP_ALIVE_TIME: WS_CHANNEL_PROPERTY_ID;