Errno.err.hex.or: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/errno.bend as Errno
Lines 106-112 of ezsys@0.1.0.0/src/errno.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/errno.bend&start_line=106&end_line=112

import Base

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe