AlphaGitHub
Source/Packages

Checkpoint.RegionManifest

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

486 lines57 declarations18.9 KiBSHA-256 d7bb0151af81
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 198–203

checkpointCaptureEqual

Full file
198def checkpointCaptureEqual =
199  (lambda unrestricted expected : (family CheckpointCapture) .
200    (lambda unrestricted actual : (family CheckpointCapture) .
201      (naturalAnd
202        (learningRoundEqual (checkpointCaptureRound expected) (checkpointCaptureRound actual))
203        (naturalEqual (checkpointCaptureCursor expected) (checkpointCaptureCursor actual)))))

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.