blob: b23213fd0d1a6986069356ee1c092fc5f6cd4ecf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#define BUFFER_HEIGHT 23
#define BUFFER_WIDTH 80
#define N BUFFER_HEIGHT * BUFFER_WIDTH
datatype color =
| Black
| Blue
| Green
| Cyan
| Red
| Magenta
| Brown
| LightGray
| DarkGray
| LightBlue
| LightGreen
| LightCyan
| LightRed
| Pink
| Yellow
| White
typedef screenChar = @{ ascii_character = char, color_code = uint8}
fn put_string (str : string) :<!wrt> void
fn clear_screen() : void
|
