U8: the byte-width unsigned integer (L11d). It IS the core `Byte`; its
arithmetic is byte-add-with-carry (Std.Byte), and its comparison/conversion
are the core byte primitives, exposed here under the width vocabulary. The
signed families I8..I64 (two's complement) and U16 land in L11e.
186def stdU8Equal =
187 (lambda unrestricted a : U8 . (lambda unrestricted b : U8 . (byte-equal a b)))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.