blob: e6baef554782e2395a97250b9776f44314b4115f (
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
27
28
29
|
#define N 80 * 25
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}
vtypedef buffer = [l : agz] (@[screenChar][N] @ l | ptr l)
typedef writer = @{position = [a:int | a >= 0 && a < N] int (a), color_code = uint8}
castfn i2u8 {n: nat} (i: int n): uint8 n
fun put_string (str : string) : void
|
