Errno.err.ctl: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/errno.bend as Errno
Lines 122-127 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=122&end_line=127

import Base

# a control character: \t, \n, \r, or \xhh
def err.ctl(+cp: U32) -> String:
  err.when(U32.is_eq(cp, 9), _u => "\\t",
    _u => err.when(U32.is_eq(cp, 10), _v => "\\n",
      _v => err.when(U32.is_eq(cp, 13), _w => "\\r",
        _w => "\\x" ++ err.hex2(cp))))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/errno.bend&name=err.hex2
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/errno.bend&name=err.when