def W64.hex.pick
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
368# the 16 hex digits, lower case, most significant first
369def W64.hex.pick(lt: Bool, d: U32) -> Char:
370 match lt:
371 case True{}:
372 Chr{U32.add(48, d)}
373 case False{}:
374 Chr{U32.add(87, d)}