diff options
| author | Xander <xander@biltopia.org> | 2023-07-27 23:03:21 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-07-27 23:03:21 +0200 |
| commit | 018d1489e6fc0c6363442033abd674f287e6f5cd (patch) | |
| tree | 8078f231af0b58d0d55064947d62631ce82d6666 /lib/SATS/init.sats | |
| parent | 50854768a4ef05d0a4983a0d949059c4b421ef9c (diff) | |
| download | ats-os-018d1489e6fc0c6363442033abd674f287e6f5cd.tar.xz ats-os-018d1489e6fc0c6363442033abd674f287e6f5cd.zip | |
name change to initializable
Diffstat (limited to 'lib/SATS/init.sats')
| -rw-r--r-- | lib/SATS/init.sats | 6 |
1 files changed, 3 insertions, 3 deletions
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 |