func bit(h : Hash, pos : Nat) : Bool
Project a given bit from the bit vector.
Jenkin’s one at a time:
The input type should actually be
Note: Be sure to explode each
Nat8 of a
Nat32 into its own
Nat32, and to shift into lower 8 bits.