26family SHA256ScheduleLookupResult : Type 0
27constructor SHA256ScheduleLookupSucceeded
28field unrestricted sha256ScheduleLookupWord : (family ModelWord32)
29constructor SHA256ScheduleLookupFailed
30field unrestricted sha256ScheduleLookupError : (family SHA256ErrorCode)
31field unrestricted sha256ScheduleLookupIndex : 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.