1480def sha256DigestIdentity =
1481 (lambda unrestricted digest : (family SHA256Digest) .
1482 (constructor
1483 SHA256DigestIdentityResult
1484 SHA256DigestIdentitySucceeded
1485 (constructor SHA256DigestIdentity SHA256DigestIdentityValue digest)))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.