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

import Base

# The digit whose value is bit0 + 2 * bit1 + 4 * bit2 + 8 * bit3.
def Digit.from_bits(bit0: Bool, bit1: Bool, bit2: Bool, bit3: Bool) -> Digit:
  match bit0 bit1 bit2 bit3:
    case False{} False{} False{} False{}:
      H0{}
    case True{} False{} False{} False{}:
      H1{}
    case False{} True{} False{} False{}:
      H2{}
    case True{} True{} False{} False{}:
      H3{}
    case False{} False{} True{} False{}:
      H4{}
    case True{} False{} True{} False{}:
      H5{}
    case False{} True{} True{} False{}:
      H6{}
    case True{} True{} True{} False{}:
      H7{}
    case False{} False{} False{} True{}:
      H8{}
    case True{} False{} False{} True{}:
      H9{}
    case False{} True{} False{} True{}:
      Ha{}
    case True{} True{} False{} True{}:
      Hb{}
    case False{} False{} True{} True{}:
      Hc{}
    case True{} False{} True{} True{}:
      Hd{}
    case False{} True{} True{} True{}:
      He{}
    case True{} True{} True{} True{}:
      Hf{}

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