706def integerLiteralEncodeWidth =
707 (lambda unrestricted width : (family IntegerLiteralWidth) .
708 (lambda unrestricted value : (family ModelWord64) .
709 (eliminate
710 ModelWord64
711 (lambda unrestricted current : (family ModelWord64) . Bytes)
712 value
713 (branch
714 ModelWord64Value
715 b0
716 b1
717 b2
718 b3
719 b4
720 b5
721 b6
722 b7
723 .
724 (eliminate
725 IntegerLiteralWidth
726 (lambda unrestricted current : (family IntegerLiteralWidth) . Bytes)
727 width
728 (branch IntegerLiteralWidth8 . (bytes b0))
729 (branch IntegerLiteralWidth16 . (bytes b0 b1))
730 (branch IntegerLiteralWidth32 . (bytes b0 b1 b2 b3))
731 (branch IntegerLiteralWidth64 . (bytes b0 b1 b2 b3 b4 b5 b6 b7)))))))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.