diff options
Diffstat (limited to 'stdlib/source/lux/data/number/i16.lux')
| -rw-r--r-- | stdlib/source/lux/data/number/i16.lux | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/source/lux/data/number/i16.lux b/stdlib/source/lux/data/number/i16.lux index 44fe0e988..4ca313730 100644 --- a/stdlib/source/lux/data/number/i16.lux +++ b/stdlib/source/lux/data/number/i16.lux @@ -15,6 +15,7 @@ ..sub} (I64 size))) -(def: #export i16 (-> I64 I16) (get@ #i64.narrow ..sub)) -(def: #export i64 (-> I16 I64) (get@ #i64.wide ..sub)) -(def: #export equivalence (Equivalence I16) (get@ #i64.equivalence ..sub)) +(def: #export equivalence (Equivalence I16) (\ ..sub &equivalence)) +(def: #export width Nat (\ ..sub width)) +(def: #export i16 (-> I64 I16) (\ ..sub narrow)) +(def: #export i64 (-> I16 I64) (\ ..sub widen)) |