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 2361–2376

checkpointSeal

Full file
2361def checkpointSeal =
2362  (lambda unrestricted schema : (family CheckpointSchema) .
2363    (lambda unrestricted blocks : (family CheckpointBlocks) .
2364      (eliminate
2365        CheckpointSchema
2366        (lambda unrestricted current : (family CheckpointSchema) . (family CheckpointLoadResult))
2367        schema
2368        (branch
2369          CheckpointSchemaValue
2370          policy
2371          digest
2372          fields
2373          parameterCount
2374          payloadBytes
2375          .
2376          (checkpointLoad schema (constructor CheckpointImage CheckpointImageValue digest blocks))))))

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.