99family SHA256ContextUpdateResult : Type 0
100constructor SHA256ContextUpdateSucceeded
101field unrestricted sha256UpdatedContext : (family SHA256Context)
102field unrestricted sha256UpdateTelemetry : (family SHA256UpdateTelemetry)
103constructor SHA256ContextUpdateFailed
104field unrestricted sha256UpdateError : (family SHA256ErrorCode)
105field unrestricted sha256UpdateFailureOrdinal : Nat
106field unrestricted sha256UpdateFailureInternalIndex : Nat
107field unrestricted sha256UpdateTelemetryBeforeFailure : (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.