Sha.hex: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/share/sha.bend as Sha
Lines 139-149 of ezx@1.11.0.0/src/share/sha.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/share/sha.bend&start_line=139&end_line=149

import Base

# the hex sha256 digest of a text's UTF-8 bytes, which is what `sha256sum`
# says of the file the text was read from, and what `bend --publish` and the
# hub hash a package file and its manifest by. The match is what a symbolic
# string sticks on, so a proof that only unfolds `hash_of` does not enter
# the digest.
def hex(+text: String) -> String:
  match text:
    case SNil{}:
      raw(text)
    case SCon{_c, _t}:
      raw(utf8(text))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/sha.bend&name=raw
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/sha.bend&name=utf8