class reference_counted : obj -> object ... endclass attribute_exchanging_object : obj -> object ... endtype key_input = {ki_char : char;ki_control : bool;ki_key : Irr_enums.key_code;ki_pressed_down : bool;ki_shift : bool;}val int_of_key : Irr_enums.key_code -> inttype mouse_input = {mi_left_pressed : bool;mi_middle_pressed : bool;mi_right_pressed : bool;mi_control : bool;mi_event : Irr_enums.mouse_input_event;mi_shift : bool;mi_wheel : float;mi_x : int;mi_y : int;}type event = [ | `gui_event of gui_event| `key_input of key_input| `mouse_input of mouse_input| `other ]type key_map = Irr_enums.key_action * Irr_enums.key_codeclass event_receiver : obj -> object ... endclass event_receiver_fun : (event -> bool) -> object ... end