diff options
author | Xander <xander@icth.xyz> | 2023-07-03 15:27:49 +0200 |
---|---|---|
committer | Xander <xander@icth.xyz> | 2023-07-03 15:27:49 +0200 |
commit | 5adc7cf997d481a6afb3ed95573d6eff44cbdd5b (patch) | |
tree | 08d1c1749d3ee16d1b7e2ee6ee0b820d3f351b0d /kernel/writer.sats | |
parent | 4c7934102bea39f002f637ebf12863bf99dd99a7 (diff) | |
download | ats-os-5adc7cf997d481a6afb3ed95573d6eff44cbdd5b.tar.xz ats-os-5adc7cf997d481a6afb3ed95573d6eff44cbdd5b.zip |
Added clear screen function
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 |