12family SHA256CompressionRoundState : Type 0
13constructor SHA256CompressionRoundStateValue
14field unrestricted sha256CompressionWorkingState : (family SHA256State)
15field unrestricted sha256CompressionRoundIndex : Nat
16field unrestricted sha256CompressionRotateCount : Nat
17field unrestricted sha256CompressionShiftCount : Nat
18field unrestricted sha256CompressionBooleanCount : Nat
19field unrestricted sha256CompressionAddCount : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.