2024-10-06 10:23:07 +01:00
|
|
|
signature INPUT_MSG =
|
|
|
|
|
sig
|
|
|
|
|
datatype t =
|
2024-11-08 09:30:57 +00:00
|
|
|
CHAR_EVENT of char
|
|
|
|
|
| KEY_ESC
|
|
|
|
|
| RESIZE_EVENT of int * int
|
2024-10-06 10:23:07 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
structure InputMsg :> INPUT_MSG =
|
2024-10-06 09:32:56 +01:00
|
|
|
struct
|
|
|
|
|
datatype t =
|
2024-11-08 09:30:57 +00:00
|
|
|
CHAR_EVENT of char
|
|
|
|
|
| KEY_ESC
|
|
|
|
|
| RESIZE_EVENT of int * int
|
2024-10-06 09:32:56 +01:00
|
|
|
end
|