1054def utf8CodepointScalarValid =
1055 (lambda unrestricted codepoint : (family UTF8Codepoint) .
1056 (eliminate
1057 UTF8Codepoint
1058 (lambda unrestricted current : (family UTF8Codepoint) . Nat)
1059 codepoint
1060 (branch UTF8CodepointValue word . (utf8WordScalarValid word))))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.