AlphaGitHub
Source/Packages

Checkpoint.Schema

packages/execution/persistence/src/Checkpoint/Schema.alpha

2,376 lines254 declarations94.9 KiBSHA-256 c49b7c5718ad
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 1342–1360

checkpointDeriveLearnerFields

Full file
1342def checkpointDeriveLearnerFields =
1343  (lambda unrestricted policy : (family CheckpointLearnerStatePolicy) .
1344    (lambda unrestricted storages : (family CheckpointParameterStorages) .
1345      (lambda unrestricted initialOffset : (family ModelWord64) .
1346        (eliminate
1347          CheckpointLearnerStatePolicy
1348          (lambda unrestricted current : (family CheckpointLearnerStatePolicy) .
1349            (family CheckpointLearnerFieldsResult))
1350          policy
1351          (branch
1352            CheckpointStatelessPolicy
1353            .
1354            (constructor
1355              CheckpointLearnerFieldsResult
1356              CheckpointLearnerFieldsAccepted
1357              (constructor CheckpointFields CheckpointFieldsEnd)
1358              initialOffset
1359              zero))
1360          (branch CheckpointAdamWPolicy . (checkpointDeriveAdamWFields storages initialOffset))))))

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.