85family SHA256UpdateTelemetry : Type 0
86constructor SHA256UpdateTelemetryValue
87field unrestricted sha256UpdateInputBytes : Nat
88field unrestricted sha256UpdateTotalBytesBefore : (family ModelWord64)
89field unrestricted sha256UpdatePendingBytesBefore : Nat
90field unrestricted sha256UpdateCombinedBytes : Nat
91field unrestricted sha256UpdateCompressedBytes : Nat
92field unrestricted sha256UpdateCompressedBlocks : Nat
93field unrestricted sha256UpdatePendingBytesAfter : Nat
94field unrestricted sha256UpdateTotalBytesAfter : (family ModelWord64)
95field unrestricted sha256UpdateCompressionTelemetry : (family SHA256DigestTelemetry)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.