Netip.hex.char: def of bend-kit-netip@0.1.0.0
Import: import bend-kit-netip@0.1.0.0/netip.bend as Netip
Lines 249-251 of bend-kit-netip@0.1.0.0/netip.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-netip@0.1.0.0/netip.bend&start_line=249&end_line=251

import Base

# Hex fields contain no leading zeros.
def hex.char(+n: U32) -> String:
  SCon{Chr{Bool.pick(U32, U32.is_lt(n, 10), (n + 48 : U32), (n + 87 : U32))}, SNil{}}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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.is_lt