2024-07-30 19:04:36 +01:00
|
|
|
signature INPUT_MESSAGE =
|
2024-07-30 17:10:48 +01:00
|
|
|
sig
|
|
|
|
|
datatype t =
|
2024-08-01 21:17:39 +01:00
|
|
|
MOUSE_MOVE of {x: Real32.real, y: Real32.real}
|
2024-07-30 17:10:48 +01:00
|
|
|
| MOUSE_LEFT_CLICK
|
|
|
|
|
| MOUSE_LEFT_RELEASE
|
|
|
|
|
end
|
|
|
|
|
|
2024-07-30 19:04:36 +01:00
|
|
|
structure InputMessage :> INPUT_MESSAGE =
|
2024-07-30 17:10:48 +01:00
|
|
|
struct
|
|
|
|
|
datatype t =
|
2024-08-01 21:17:39 +01:00
|
|
|
MOUSE_MOVE of {x: Real32.real, y: Real32.real}
|
2024-07-30 17:10:48 +01:00
|
|
|
| MOUSE_LEFT_CLICK
|
|
|
|
|
| MOUSE_LEFT_RELEASE
|
|
|
|
|
end
|