Field projection for `sha256DigestTelemetryRounds`, generated from the declaration: the family
has one constructor, so this is the unique total projection.
361def sha256DigestTelemetryRounds =
362 (lambda unrestricted value : (family SHA256DigestTelemetry) .
363 (eliminate
364 SHA256DigestTelemetry
365 (lambda unrestricted current : (family SHA256DigestTelemetry) . Nat)
366 value
367 (branch
368 SHA256DigestTelemetryValue
369 sha256DigestTelemetryInputBytes
370 sha256DigestTelemetryPaddedBytes
371 sha256DigestTelemetryBlocks
372 sha256DigestTelemetryDecodedWords
373 sha256DigestTelemetryExpandedWords
374 sha256DigestTelemetryRounds
375 sha256DigestTelemetryLookups
376 sha256DigestTelemetrySigmas
377 sha256DigestTelemetryRotates
378 sha256DigestTelemetryShifts
379 sha256DigestTelemetryBooleans
380 sha256DigestTelemetryAdds
381 .
382 sha256DigestTelemetryRounds)))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.