12 lines
179 B
Standard ML
12 lines
179 B
Standard ML
signature DRAW_MSG =
|
|
sig
|
|
datatype t =
|
|
REDRAW_TEXT of Real32.real vector
|
|
end
|
|
|
|
structure DrawMsg :> DRAW_MSG =
|
|
struct
|
|
datatype t =
|
|
REDRAW_TEXT of Real32.real vector
|
|
end
|