def val.hex.digit

import bend-osdev-acpi@0.1.1.0/aml_value.bend as AmlValue

import Base

226def val.hex.digit(+d: U32) -> U32:
227  val.hex.digit.pick(U32.is_lt(d, 10), d)

Uses (3)