AlphaGitHub
Source/Packages

Data.SHA256

packages/foundation/standard/src/Data/SHA256.alpha

240 lines74 declarations10.2 KiBSHA-256 20b6ff0724eb
Download exact fileView at revisionf5034773ad4bb52133

def · lines 163–169

sha256DigestToBytes

Full file
163def sha256DigestToBytes =
164  (lambda unrestricted digest : (family SHA256Digest) .
165    (eliminate
166      SHA256Digest
167      (lambda unrestricted current : (family SHA256Digest) . Bytes)
168      digest
169      (branch SHA256DigestValue bytes proof . bytes)))

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.