Sha.raw: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/share/sha.bend as Sha
Lines 75-82 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=75&end_line=82

import Base
import 0x3bdc0c9f5265bb49f7fc76b61f529f24/sha256.bend as S

# the hex sha256 digest of a string whose characters are bytes: each one is
# reduced to its low eight bits. NAR serials are held this way.
def raw(+text: String) -> String:
  match text:
    case SNil{}:
      show(S.sha256(bytes(text), 0n))
    case SCon{_c, _t}:
      show(S.sha256(bytes(text), String.length(text)))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/sha.bend&name=bytes
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/sha.bend&name=show