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 490–501

checkpointWord64SixtyFour

Full file
490def checkpointWord64SixtyFour =
491  (constructor
492    ModelWord64
493    ModelWord64Value
494    (byte 64)
495    (byte 0)
496    (byte 0)
497    (byte 0)
498    (byte 0)
499    (byte 0)
500    (byte 0)
501    (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.