42family SHA256DigestGroupResult : Type 0
43constructor SHA256DigestGroupSucceeded
44field unrestricted sha256DigestGroupState : (family SHA256State)
45field unrestricted sha256DigestGroupRemaining : Bytes
46field unrestricted sha256DigestGroupTelemetry : (family SHA256DigestTelemetry)
47constructor SHA256DigestGroupFailed
48field unrestricted sha256DigestGroupError : (family SHA256ErrorCode)
49field unrestricted sha256DigestGroupFailureOrdinal : Nat
50field unrestricted sha256DigestGroupFailureInternalIndex : Nat
51field unrestricted sha256DigestGroupTelemetryBeforeFailure : (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.