~/jendhub

def err.hex.digit

ezsys@0.1.0.0 · src/errno.bend:114

import ezsys@0.1.0.0/src/errno.bend as Errno
import Base

114# the lowercase hex digit of a number's last four bits
115def err.hex.digit(num: U32) -> Char:
116  err.hex.or(String.get("0123456789abcdef", U32.to_nat((num % 16 : U32))))

Uses (6)

Used by (1)