Field projection for `sha256DigestTelemetryBooleans`, generated from the declaration: the family
has one constructor, so this is the unique total projection.
186def sha256DigestTelemetryBooleans =
187 (lambda unrestricted value : (family SHA256DigestTelemetry) .
188 (eliminate
189 SHA256DigestTelemetry
190 (lambda unrestricted current : (family SHA256DigestTelemetry) . Nat)
191 value
192 (branch
193 SHA256DigestTelemetryValue
194 sha256DigestTelemetryInputBytes
195 sha256DigestTelemetryPaddedBytes
196 sha256DigestTelemetryBlocks
197 sha256DigestTelemetryDecodedWords
198 sha256DigestTelemetryExpandedWords
199 sha256DigestTelemetryRounds
200 sha256DigestTelemetryLookups
201 sha256DigestTelemetrySigmas
202 sha256DigestTelemetryRotates
203 sha256DigestTelemetryShifts
204 sha256DigestTelemetryBooleans
205 sha256DigestTelemetryAdds
206 .
207 sha256DigestTelemetryBooleans)))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.