58family SHA256RoundInput : Type 0
59constructor SHA256RoundInputValue
60field unrestricted sha256RoundIndex : (family ModelWord32)
61field unrestricted sha256RoundConstant : (family ModelWord32)
62field unrestricted sha256RoundScheduleWord : (family ModelWord32)
63field unrestricted sha256RoundA : (family ModelWord32)
64field unrestricted sha256RoundB : (family ModelWord32)
65field unrestricted sha256RoundC : (family ModelWord32)
66field unrestricted sha256RoundD : (family ModelWord32)
67field unrestricted sha256RoundE : (family ModelWord32)
68field unrestricted sha256RoundF : (family ModelWord32)
69field unrestricted sha256RoundG : (family ModelWord32)
70field unrestricted sha256RoundH : (family ModelWord32)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.