124family SHA256ContextFinalizeResult : Type 0
125constructor SHA256ContextFinalizeSucceeded
126field unrestricted sha256FinalizedDigest : (family SHA256Digest)
127field unrestricted sha256FinalizeTelemetry : (family SHA256FinalizeTelemetry)
128constructor SHA256ContextFinalizeFailed
129field unrestricted sha256FinalizeError : (family SHA256ErrorCode)
130field unrestricted sha256FinalizeFailureOrdinal : Nat
131field unrestricted sha256FinalizeFailureInternalIndex : Nat
132field unrestricted sha256FinalizeTelemetryBeforeFailure : (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.