Hex.Digit.to_char: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/src/hex.bend as Hex
Lines 34-68 of bend-trace-context@0.2.0.0/src/hex.bend: https://jend.leeeet.dev/read.txt?path=bend-trace-context@0.2.0.0/src/hex.bend&start_line=34&end_line=68

import Base

# The lowercase character of a digit: '0' to '9', then 'a' to 'f'.
def Digit.to_char(digit: Digit) -> Char:
  match digit:
    case H0{}:
      '0'
    case H1{}:
      '1'
    case H2{}:
      '2'
    case H3{}:
      '3'
    case H4{}:
      '4'
    case H5{}:
      '5'
    case H6{}:
      '6'
    case H7{}:
      '7'
    case H8{}:
      '8'
    case H9{}:
      '9'
    case Ha{}:
      'a'
    case Hb{}:
      'b'
    case Hc{}:
      'c'
    case Hd{}:
      'd'
    case He{}:
      'e'
    case Hf{}:
      'f'

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/src/hex.bend&name=Digit