aboutsummaryrefslogtreecommitdiff
path: root/kernel/writer.sats
diff options
context:
space:
mode:
authorXander <xander@icth.xyz>2023-07-03 15:27:49 +0200
committerXander <xander@icth.xyz>2023-07-03 15:27:49 +0200
commit5adc7cf997d481a6afb3ed95573d6eff44cbdd5b (patch)
tree08d1c1749d3ee16d1b7e2ee6ee0b820d3f351b0d /kernel/writer.sats
parent4c7934102bea39f002f637ebf12863bf99dd99a7 (diff)
downloadats-os-5adc7cf997d481a6afb3ed95573d6eff44cbdd5b.tar.xz
ats-os-5adc7cf997d481a6afb3ed95573d6eff44cbdd5b.zip
Added clear screen function
Diffstat (limited to 'kernel/writer.sats')
-rw-r--r--kernel/writer.sats1
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