~/jendhub

def err.hex.or

ezsys@0.1.0.0 · src/errno.bend:106

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

106# a digit's character, or '0' past the digits
107def err.hex.or(got: Maybe<&2, Char>) -> Char:
108  match got:
109    case None{}:
110      '0'
111    case Some{chr}:
112      chr

Uses (2)

Used by (1)