23family SHA256ScheduleExpansionState : Type 0
24constructor SHA256ScheduleExpansionStateValue
25field unrestricted sha256ExpansionSchedule : (family SHA256Schedule)
26field unrestricted sha256ExpansionNextIndex : Nat
27field unrestricted sha256ExpansionGeneratedWords : Nat
28field unrestricted sha256ExpansionLookupCount : Nat
29field unrestricted sha256ExpansionSigmaCount : Nat
30field unrestricted sha256ExpansionRotateCount : Nat
31field unrestricted sha256ExpansionShiftCount : Nat
32field unrestricted sha256ExpansionAddCount : 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.