41family SHA256ContextPaddingResult : Type 0
42constructor SHA256ContextPaddingSucceeded
43field unrestricted sha256ContextPaddingSuffix : Bytes
44field unrestricted sha256ContextPaddingTelemetry : (family SHA256ContextPaddingTelemetry)
45constructor SHA256ContextPaddingFailed
46field unrestricted sha256ContextPaddingError : (family SHA256ErrorCode)
47field unrestricted sha256ContextPaddingFailureStage : Nat
48field unrestricted sha256ContextPaddingValidationTelemetry : (family SHA256ContextValidationTelemetry)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.