aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/math/number/i64.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/math/number/i64.lux6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/math/number/i64.lux b/stdlib/source/library/lux/math/number/i64.lux
index 299e192e2..430127b4b 100644
--- a/stdlib/source/library/lux/math/number/i64.lux
+++ b/stdlib/source/library/lux/math/number/i64.lux
@@ -126,7 +126,7 @@
(implementation: .public hash
(All (_ a) (Hash (I64 a)))
- (def: &equivalence ..equivalence)
+ (def: equivalence ..equivalence)
(def: hash (|>> .nat)))
@@ -181,7 +181,7 @@
(type: .public (Sub size)
(Interface
(is (Equivalence (I64 size))
- &equivalence)
+ sub_equivalence)
(is Nat
bits)
(is (-> I64 (I64 size))
@@ -199,7 +199,7 @@
co_mantissa (..xor (.i64 -1) mantissa)]
{.#Some (is Sub
(implementation
- (def: &equivalence ..equivalence)
+ (def: sub_equivalence ..equivalence)
(def: bits width)
(def: (narrow value)
(..or (|> value (..and ..sign) (..right_shifted sign_shift))