AlphaGitHub
Source/Packages

Checkpoint.NativeEnvelope

packages/execution/persistence/src/Checkpoint/NativeEnvelope.alpha

810 lines50 declarations33.7 KiBSHA-256 de7bf6c0b7f3
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 433–446

nativeCheckpointPointer

Full file
433def nativeCheckpointPointer =
434  (lambda unrestricted at : Nat .
435    (lambda unrestricted base : Nat .
436      (lambda unrestricted stride : Nat .
437        (lambda unrestricted tail : (family NativePhysicalCommands) .
438          (nativeLaunchRecipeCommand
439            (constructor
440              NativePhysicalOperation
441              NativePhysicalAddWord64
442              (nativeMemoryState at)
443              (nativeMemoryState base)
444              (nativeCheckpointAffine 0 stride))
445            b"checkpoint-chunk-pointer"
446            tail)))))

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.