def hex.digit.pick

bend-osdev-bytes@0.1.1.0 · bytes.bend:222

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

222def hex.digit.pick(lt: Bool, d: U32) -> Char:
223  match lt:
224    case True{}:
225      Chr{U32.add(48, d)}
226    case False{}:
227      Chr{U32.add(87, d)}

Uses (4)

Used by (1)

bend-osdev-bytes@0.1.1.0/bytes:hex.digit