Bytes -> Bytes convenience digest: the 64-hex identity of the input,
or empty bytes on the (length-guarded) failure path. Downstream
64-length/equality gates keep empty fail-closed.
1630def sha256Digest =
1631 (lambda unrestricted material : Bytes . (sha256HexBytesOrEmpty (sha256Hex material)))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.