The bit operations are the L21 byte primitives (one machine operation on
every lane). A shift amount is a Nat here, as it always was: an amount of
eight or more yields zero, decided by the primitive comparison so that
`nat-to-byte` never truncates an amount of 256 or more into a small one.
59def byteAnd =
60 (lambda unrestricted left : Byte . (lambda unrestricted right : Byte . (byte-and left right)))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.