Field projection for `sha256DigestTelemetrySigmas`, generated from the declaration: the family
has one constructor, so this is the unique total projection.
411def sha256DigestTelemetrySigmas =
412 (lambda unrestricted value : (family SHA256DigestTelemetry) .
413 (eliminate
414 SHA256DigestTelemetry
415 (lambda unrestricted current : (family SHA256DigestTelemetry) . Nat)
416 value
417 (branch
418 SHA256DigestTelemetryValue
419 sha256DigestTelemetryInputBytes
420 sha256DigestTelemetryPaddedBytes
421 sha256DigestTelemetryBlocks
422 sha256DigestTelemetryDecodedWords
423 sha256DigestTelemetryExpandedWords
424 sha256DigestTelemetryRounds
425 sha256DigestTelemetryLookups
426 sha256DigestTelemetrySigmas
427 sha256DigestTelemetryRotates
428 sha256DigestTelemetryShifts
429 sha256DigestTelemetryBooleans
430 sha256DigestTelemetryAdds
431 .
432 sha256DigestTelemetrySigmas)))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.