427def checkpointSchemaTelemetry =
428 (lambda unrestricted storages : Nat .
429 (lambda unrestricted parameters : Nat .
430 (lambda unrestricted learner : Nat .
431 (lambda unrestricted placed : Nat .
432 (lambda unrestricted canonicalBytes : Nat .
433 (lambda unrestricted digestTelemetry : (family SHA256DigestTelemetry) .
434 (constructor
435 CheckpointSchemaTelemetry
436 CheckpointSchemaTelemetryValue
437 storages
438 parameters
439 learner
440 placed
441 canonicalBytes
442 digestTelemetry
443 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.