diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/hash.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/hash.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux index cd9a966da..153cd1ec2 100644 --- a/stdlib/source/test/lux/abstract/hash.lux +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -18,14 +18,14 @@ [// [equivalence (.only Equivalence)]]]]) -(def: .public test +(def .public test Test (do random.monad [leftN random.nat rightN random.nat .let [hash (is (Equivalence (/.Hash Nat)) (implementation - (def: (= (open "left#[0]") (open "right#[0]")) + (def (= (open "left#[0]") (open "right#[0]")) (and (bit#= (left#= (left#hash leftN) (left#hash leftN)) (right#= (right#hash leftN) (right#hash leftN))) (bit#= (left#= (left#hash rightN) (left#hash rightN)) |