From 50854768a4ef05d0a4983a0d949059c4b421ef9c Mon Sep 17 00:00:00 2001
From: Xander <xander@biltopia.org>
Date: Thu, 27 Jul 2023 22:55:58 +0200
Subject: opt implementation for writer

---
 lib/SATS/writer.sats | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'lib/SATS/writer.sats')

diff --git a/lib/SATS/writer.sats b/lib/SATS/writer.sats
index 65a2ea9..14773ea 100644
--- a/lib/SATS/writer.sats
+++ b/lib/SATS/writer.sats
@@ -20,13 +20,7 @@ datatype color =
   | 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
 fun clear_screen() : void
-- 
cgit v1.2.3