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 536–554

checkpointMultiplyFourChecked

Full file
536def checkpointMultiplyFourChecked =
537  (lambda unrestricted value : (family ModelWord64) .
538    (eliminate
539      ModelWord64MultiplyCheckedResult
540      (lambda unrestricted current : (family ModelWord64MultiplyCheckedResult) .
541        (family CheckpointWord64Result))
542      (modelWord64MultiplyChecked value checkpointWord64Four)
543      (branch
544        ModelWord64MultiplySucceeded
545        product
546        .
547        (constructor CheckpointWord64Result CheckpointWord64Succeeded product))
548      (branch
549        ModelWord64MultiplyOverflow
550        .
551        (constructor
552          CheckpointWord64Result
553          CheckpointWord64Failed
554          (constructor CheckpointErrorCode CheckpointLearnerMomentExtentOverflow)))))

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.