Text.hexd: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/text.bend as Text
Lines 61-62 of bend-toon-codec@0.1.0.0/src/text.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&start_line=61&end_line=62

import Base

def hexd(+n: U32) -> Char:
  Chr{sel.u(U32.is_lt(n, 10), (n + 48 : U32), (n + 87 : U32))}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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.is_lt
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&name=sel.u