Constant WbUserInputEvent_WB_EVENT_KEYBOARD 

pub const WbUserInputEvent_WB_EVENT_KEYBOARD: WbUserInputEvent = 4;