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 464–475

checkpointWord64Four

Full file
464def checkpointWord64Four =
465  (constructor
466    ModelWord64
467    ModelWord64Value
468    (byte 4)
469    (byte 0)
470    (byte 0)
471    (byte 0)
472    (byte 0)
473    (byte 0)
474    (byte 0)
475    (byte 0))

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.