diff options
Diffstat (limited to 'kernel/writer.sats')
| -rw-r--r-- | kernel/writer.sats | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/writer.sats b/kernel/writer.sats index 3ccfd7b..65a2ea9 100644 --- a/kernel/writer.sats +++ b/kernel/writer.sats @@ -29,3 +29,4 @@ typedef writer = @{position = [a:int | a >= 0 && a < N] int (a), color_code = u castfn i2u8 {n: nat} (i: int n): uint8 n fun put_string (str : string) : void +fun clear_screen() : void |