def val.hex.text

bend-osdev-acpi@0.1.1.0 · aml_value.bend:229

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

229def val.hex.text(n: Nat, +x: W.W64, acc: List<&2, U32>) -> List<&2, U32>:
230  match n:
231    case 0n:
232      acc
233    case 1n+p:
234      val.hex.text(p, W.W64.shr(x, 4n), Con{val.hex.digit(U32.and(W.W64.lo(x), 15)), acc})