blob: 4e50c36585e5f73af10d963914fb0b2bf8ae8d6e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
(.module:
lux
[// [equivalence (#+ Equivalence)]])
## [Signatures]
(signature: #export (Hash a)
{#.doc (doc "A way to produce hash-codes for a type's instances."
"A necessity when working with some data-structures, such as dictionaries or sets.")}
(: (Equivalence a)
eq)
(: (-> a Nat)
hash))
|