Nar.hex.bytes: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/sha/nar.bend as Nar
Lines 190-197 of ezx@1.11.0.0/src/sha/nar.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/sha/nar.bend&start_line=190&end_line=197

import Base

def hex.bytes(text: String) -> String:
  match text:
    case SNil{}:
      ""
    case SCon{_a, SNil{}}:
      ""
    case SCon{a, SCon{b, t}}:
      SCon{byte((U32.shln(hex.val(a), 4n) + hex.val(b) : U32)), hex.bytes(t)}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shln
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=byte
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=hex.val