refactoring and scaffolding

This commit is contained in:
2024-07-31 12:00:07 +01:00
parent 94611eceee
commit 29793cccbe
9 changed files with 121 additions and 70 deletions

View File

@@ -1,9 +1,11 @@
signature DRAW_MESSAGE =
sig
datatype t =
DRAW_BUTTON of Real32.real vector
end
structure DrawMessage :> DRAW_MESSAGE =
struct
datatype t =
DRAW_BUTTON of Real32.real vector
end