Al5.Eventmodule Touch : sig ... endmodule MouseButton : sig ... endmodule MouseMove : sig ... endtype t = | JOYSTICK_AXIS of joystick * int * int * float| JOYSTICK_BUTTON_DOWN of joystick * int| JOYSTICK_BUTTON_UP of joystick * int| JOYSTICK_CONFIGURATION| KEY_DOWN of Key.t * display| KEY_UP of Key.t * display| KEY_CHAR of Key.t * int * int * bool * display| MOUSE_AXES of MouseMove.t| MOUSE_BUTTON_DOWN of MouseButton.t| MOUSE_BUTTON_UP of MouseButton.t| MOUSE_WARPED of MouseMove.t| MOUSE_ENTER_DISPLAY of int * int * int * int * display| MOUSE_LEAVE_DISPLAY of int * int * int * int * display| TOUCH_BEGIN of Touch.t| TOUCH_END of Touch.t| TOUCH_MOVE of Touch.t| TOUCH_CANCEL of Touch.t| TIMER of timer * int64| DISPLAY_EXPOSE of display * int * int * int * int| DISPLAY_RESIZE of display * int * int * int * int| DISPLAY_CLOSE of display| DISPLAY_LOST of display| DISPLAY_FOUND of display| DISPLAY_SWITCH_OUT of display| DISPLAY_SWITCH_IN of display| DISPLAY_ORIENTATION of display * DisplayOrientation.t| DISPLAY_HALT_DRAWING| DISPLAY_RESUME_DRAWING| DISPLAY_CONNECTED of display| DISPLAY_DISCONNECTED of display| DROP of int * int * (string * bool * int * bool) option| AUDIO_STREAM_FRAGMENT| AUDIO_STREAM_FINISHED| UNKNOWN of int