diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/data/product.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/data/product.lux b/stdlib/source/library/lux/data/product.lux index 50ab886e2..6cf5bde39 100644 --- a/stdlib/source/library/lux/data/product.lux +++ b/stdlib/source/library/lux/data/product.lux @@ -53,15 +53,15 @@ (All (_ l r) (-> (Equivalence l) (Equivalence r) (Equivalence [l r]))) (implementation (def (= [rl rr] [sl sr]) - (and (at left = rl sl) - (at right = rr sr))))) + (and (of left = rl sl) + (of right = rr sr))))) (def .public (hash left right) (All (_ l r) (-> (Hash l) (Hash r) (Hash [l r]))) (implementation (def equivalence - (..equivalence (at left equivalence) - (at right equivalence))) + (..equivalence (of left equivalence) + (of right equivalence))) (def (hash [leftV rightV]) - (.i64_+# (at left hash leftV) - (at right hash rightV))))) + (.i64_+# (of left hash leftV) + (of right hash rightV))))) |