Hash

Hash values

type Hash = Nat32

Hash values represent a string of hash bits, packed into a Nat32.

public let length : Nat

The hash length, always 31.

public func bit(h : Hash, pos : Nat) : Bool

Project a given bit from the bit vector.

public func equal(ha : Hash, hb : Hash) : Bool

Test if two hashes are equal