1528def checkpointCanonicalField =
1529 (lambda unrestricted field : (family CheckpointField) .
1530 (eliminate
1531 CheckpointField
1532 (lambda unrestricted current : (family CheckpointField) . (family CheckpointBytesResult))
1533 field
1534 (branch
1535 CheckpointFieldValue
1536 kind
1537 name
1538 storageOffset
1539 streamOffset
1540 byteLength
1541 elements
1542 domain
1543 initialization
1544 .
1545 (checkpointBytesResultAppend
1546 (checkpointSizedField (checkpointFieldKindName kind))
1547 (checkpointBytesResultAppend
1548 (checkpointSizedField name)
1549 (checkpointBytesResultAppend
1550 (checkpointIntegerField storageOffset)
1551 (checkpointBytesResultAppend
1552 (checkpointIntegerField streamOffset)
1553 (checkpointBytesResultAppend
1554 (checkpointIntegerField byteLength)
1555 (checkpointBytesResultAppend
1556 (checkpointIntegerField elements)
1557 (checkpointBytesResultAppend
1558 (checkpointSizedField domain)
1559 (checkpointSizedField initialization)))))))))))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.