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 308–322

checkpointLearnerStatePolicyTag

Full file
308def checkpointLearnerStatePolicyTag =
309  (lambda unrestricted policy : (family CheckpointLearnerStatePolicy) .
310    (eliminate
311      CheckpointLearnerStatePolicy
312      (lambda unrestricted current : (family CheckpointLearnerStatePolicy) .
313        (family CheckpointLearnerStatePolicyTag))
314      policy
315      (branch
316        CheckpointStatelessPolicy
317        .
318        (constructor CheckpointLearnerStatePolicyTag CheckpointStatelessLearnerState))
319      (branch
320        CheckpointAdamWPolicy
321        .
322        (constructor CheckpointLearnerStatePolicyTag CheckpointAdamWLearnerState))))

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.