1493def checkpointFieldKindName =
1494 (lambda unrestricted kind : (family CheckpointFieldKind) .
1495 (eliminate
1496 CheckpointFieldKind
1497 (lambda unrestricted current : (family CheckpointFieldKind) . Bytes)
1498 kind
1499 (branch
1500 CheckpointParameterField
1501 role
1502 .
1503 (eliminate
1504 CheckpointParameterRole
1505 (lambda unrestricted current : (family CheckpointParameterRole) . Bytes)
1506 role
1507 (branch
1508 CheckpointTrainableParameter
1509 .
1510 b"parameter-trainable")
1511 (branch
1512 CheckpointFrozenParameter
1513 .
1514 b"parameter-frozen")
1515 (branch
1516 CheckpointPersistentState
1517 .
1518 b"persistent-state")))
1519 (branch
1520 CheckpointAdamWFirstMoment
1521 .
1522 b"adamw-first-moment")
1523 (branch
1524 CheckpointAdamWSecondMoment
1525 .
1526 b"adamw-second-moment")))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.