diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/math/number/i16.lux | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/stdlib/source/lux/math/number/i16.lux b/stdlib/source/lux/math/number/i16.lux index 9168b5925..ba4f9cd02 100644 --- a/stdlib/source/lux/math/number/i16.lux +++ b/stdlib/source/lux/math/number/i16.lux @@ -10,10 +10,12 @@ (def: sub (maybe.assume (i64.sub 16))) -(def: #export I16 (:by_example [size] - {(Sub size) - ..sub} - (I64 size))) +(def: #export I16 + (:by_example [size] + (Sub size) + ..sub + + (I64 size))) (def: #export equivalence (Equivalence I16) (\ ..sub &equivalence)) (def: #export width Nat (\ ..sub width)) |