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 477–488

checkpointWord64SixtyThree

Full file
477def checkpointWord64SixtyThree =
478  (constructor
479    ModelWord64
480    ModelWord64Value
481    (byte 63)
482    (byte 0)
483    (byte 0)
484    (byte 0)
485    (byte 0)
486    (byte 0)
487    (byte 0)
488    (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.