526def modelWord64ShiftRightOne =
527 (lambda unrestricted value : (family ModelWord64) .
528 (eliminate
529 ModelWord64
530 (lambda unrestricted current : (family ModelWord64) . (family ModelWord64))
531 value
532 (branch
533 ModelWord64Value
534 b0
535 b1
536 b2
537 b3
538 b4
539 b5
540 b6
541 b7
542 .
543 (constructor
544 ModelWord64
545 ModelWord64Value
546 (byteOr
547 (byteShiftRight b0 modelWord64NaturalOne)
548 (byteShiftLeftTruncated (byteAnd b1 (byte 1)) modelWord64NaturalSeven))
549 (byteOr
550 (byteShiftRight b1 modelWord64NaturalOne)
551 (byteShiftLeftTruncated (byteAnd b2 (byte 1)) modelWord64NaturalSeven))
552 (byteOr
553 (byteShiftRight b2 modelWord64NaturalOne)
554 (byteShiftLeftTruncated (byteAnd b3 (byte 1)) modelWord64NaturalSeven))
555 (byteOr
556 (byteShiftRight b3 modelWord64NaturalOne)
557 (byteShiftLeftTruncated (byteAnd b4 (byte 1)) modelWord64NaturalSeven))
558 (byteOr
559 (byteShiftRight b4 modelWord64NaturalOne)
560 (byteShiftLeftTruncated (byteAnd b5 (byte 1)) modelWord64NaturalSeven))
561 (byteOr
562 (byteShiftRight b5 modelWord64NaturalOne)
563 (byteShiftLeftTruncated (byteAnd b6 (byte 1)) modelWord64NaturalSeven))
564 (byteOr
565 (byteShiftRight b6 modelWord64NaturalOne)
566 (byteShiftLeftTruncated (byteAnd b7 (byte 1)) modelWord64NaturalSeven))
567 (byteShiftRight b7 modelWord64NaturalOne)))))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.