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 448–462

checkpointValidationTelemetry

Full file
448def checkpointValidationTelemetry =
449  (lambda unrestricted expected : Nat .
450    (lambda unrestricted actual : Nat .
451      (lambda unrestricted validated : Nat .
452        (lambda unrestricted payload : (family ModelWord64) .
453          (lambda unrestricted canonicalBytes : Nat .
454            (constructor
455              CheckpointValidationTelemetry
456              CheckpointValidationTelemetryValue
457              expected
458              actual
459              validated
460              payload
461              canonicalBytes
462              zero))))))

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.