From 5adc7cf997d481a6afb3ed95573d6eff44cbdd5b Mon Sep 17 00:00:00 2001 From: Xander Date: Mon, 3 Jul 2023 15:27:49 +0200 Subject: Added clear screen function --- kernel/writer.sats | 1 + 1 file changed, 1 insertion(+) (limited to 'kernel/writer.sats') 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 -- cgit v1.2.3