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

import Base
import 0x3bdc0c9f5265bb49f7fc76b61f529f24/sha256.bend as S

# a length that does not fit is not a digest. A digest is sixty-four hex
# characters, so this empty answer cannot be mistaken for one.
def show(answer: Maybe<&1, Array<U32>>) -> String:
  match answer:
    case None{}:
      ""
    case Some{digest}:
      S.hex(digest)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32