Type Definition webots_bindings::WbUserInputEvent[][src]

pub type WbUserInputEvent = c_int;