a bit of formatting (no other changes in this commit)

This commit is contained in:
2024-07-31 12:30:12 +01:00
parent d18e6f105d
commit 6a2fe3ed18
6 changed files with 40 additions and 33 deletions

View File

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