1606def checkpointCanonicalSchema =
1607 (lambda unrestricted policy : (family CheckpointLearnerStatePolicy) .
1608 (lambda unrestricted parameterCount : (family ModelWord64) .
1609 (lambda unrestricted payloadBytes : (family ModelWord64) .
1610 (lambda unrestricted fields : (family CheckpointFields) .
1611 (eliminate
1612 CheckpointWord64Result
1613 (lambda unrestricted current : (family CheckpointWord64Result) .
1614 (family CheckpointBytesResult))
1615 (checkpointNaturalWord64
1616 (constructor CheckpointErrorCode CheckpointFieldCountOverflow)
1617 (checkpointFieldsCount fields))
1618 (branch
1619 CheckpointWord64Succeeded
1620 fieldCount
1621 .
1622 (checkpointBytesResultAppend
1623 (checkpointBytesSuccess checkpointSchemaVersion)
1624 (checkpointBytesResultAppend
1625 (checkpointIntegerField parameterCount)
1626 (checkpointBytesResultAppend
1627 (checkpointIntegerField payloadBytes)
1628 (checkpointBytesResultAppend
1629 (checkpointSizedField (checkpointPolicyName policy))
1630 (checkpointBytesResultAppend
1631 (checkpointIntegerField fieldCount)
1632 (checkpointCanonicalFields fields)))))))
1633 (branch
1634 CheckpointWord64Failed
1635 code
1636 .
1637 (constructor CheckpointBytesResult CheckpointBytesFailed code)))))))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.