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 1639–1652

checkpointSchemaTelemetryAt

Full file
1639def checkpointSchemaTelemetryAt =
1640  (lambda unrestricted storageCount : Nat .
1641    (lambda unrestricted parameterFields : Nat .
1642      (lambda unrestricted learnerFields : Nat .
1643        (lambda unrestricted placedFields : Nat .
1644          (lambda unrestricted canonicalBytes : Nat .
1645            (lambda unrestricted digestTelemetry : (family SHA256DigestTelemetry) .
1646              (checkpointSchemaTelemetry
1647                storageCount
1648                parameterFields
1649                learnerFields
1650                placedFields
1651                canonicalBytes
1652                digestTelemetry)))))))

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.