1530def stdU64AllOnes =
1531 (constructor
1532 ModelWord64
1533 ModelWord64Value
1534 (byte 255)
1535 (byte 255)
1536 (byte 255)
1537 (byte 255)
1538 (byte 255)
1539 (byte 255)
1540 (byte 255)
1541 (byte 255))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.