Hex.Digit: type of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/src/hex.bend as Hex
Lines 14-32 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=14&end_line=32

import Base

# A hexadecimal digit has exactly these sixteen values, H0 to Hf, in value
# order. Encoding is lowercase.
type Digit is Data:
  H0{}
  H1{}
  H2{}
  H3{}
  H4{}
  H5{}
  H6{}
  H7{}
  H8{}
  H9{}
  Ha{}
  Hb{}
  Hc{}
  Hd{}
  He{}
  Hf{}

Uses (0):