aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/math/number/nat.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/math/number/nat.lux4
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/math/number/nat.lux b/stdlib/source/library/lux/math/number/nat.lux
index c502f4d96..cef20dca2 100644
--- a/stdlib/source/library/lux/math/number/nat.lux
+++ b/stdlib/source/library/lux/math/number/nat.lux
@@ -38,12 +38,12 @@
(let [referenceH (..high reference)
sampleH (..high sample)]
(if ("lux i64 <" referenceH sampleH)
- #1
+ true
(if ("lux i64 =" referenceH sampleH)
("lux i64 <"
(..low reference)
(..low sample))
- #0))))
+ false))))
(def .public (<= reference sample)
(-> Nat Nat Bit)