From 018d1489e6fc0c6363442033abd674f287e6f5cd Mon Sep 17 00:00:00 2001
From: Xander <xander@biltopia.org>
Date: Thu, 27 Jul 2023 23:03:21 +0200
Subject: name change to initializable

---
 lib/SATS/init.sats | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib/SATS')

diff --git a/lib/SATS/init.sats b/lib/SATS/init.sats
index 83b5e8d..c9d9d89 100644
--- a/lib/SATS/init.sats
+++ b/lib/SATS/init.sats
@@ -1,4 +1,4 @@
-viewtypedef enablable (vt:viewt@ype) =
-  [enabled: bool] @{ enabled = bool enabled, obj = opt (vt, enabled) }
+viewtypedef initializable (vt:viewt@ype) =
+  [initialized: bool] @{ initialized = bool initialized, obj = opt (vt, initialized) }
 
-fun {vt:viewt@ype} empty (v : opt(vt,false)): enablable vt
+fun {vt:viewt@ype} uninitialized (v : opt(vt,false)): initializable vt
-- 
cgit v1.2.3