111family SHA256FinalizeTelemetry : Type 0
112constructor SHA256FinalizeTelemetryValue
113field unrestricted sha256FinalizeTotalBytes : (family ModelWord64)
114field unrestricted sha256FinalizePendingBytes : Nat
115field unrestricted sha256FinalizeBitLength : (family ModelWord64)
116field unrestricted sha256FinalizeZeroBytes : Nat
117field unrestricted sha256FinalizeCompressedBytes : Nat
118field unrestricted sha256FinalizeCompressedBlocks : Nat
119field unrestricted sha256FinalizeDigestBytes : Nat
120field unrestricted sha256FinalizeCompressionTelemetry : (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.