381def integerLiteralDecodeHexLetter =
382 (lambda unrestricted value : Byte .
383 (integerLiteralChoose
384 (stdFlagAnd (byte-less-than (byte 64) value) (byte-less-than value (byte 71)))
385 (constructor
386 IntegerLiteralDigitResult
387 IntegerLiteralDigitValue
388 (naturalSaturatingSubtract (byte-to-nat value) (byte-to-nat (byte 55))))
389 (integerLiteralChoose
390 (stdFlagAnd (byte-less-than (byte 96) value) (byte-less-than value (byte 103)))
391 (constructor
392 IntegerLiteralDigitResult
393 IntegerLiteralDigitValue
394 (naturalSaturatingSubtract (byte-to-nat value) (byte-to-nat (byte 87))))
395 integerLiteralBadDigitResult)))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.