structure DrawMessage = struct datatype t = DRAW_DOT of Real32.real vector | DRAW_SQUARES_AND_DOTS of {squares: Real32.real vector, dots: Real32.real vector} | DRAW_SQUARES_AND_RESET_DOTS of Real32.real vector | DRAW_GRAPH of Real32.real vector | RESIZE_SQUARES_DOTS_AND_GRAPH of { squares: Real32.real vector , graphLines: Real32.real vector , dots: Real32.real vector } | CLEAR_DOTS | DRAW_MODAL_TEXT of Real32.real vector end