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

import Base

# the code points repr writes as \xhh: below U+0020, U+007F to U+00A0, and
# U+00AD
def err.hexed(+cp: U32) -> Bool:
  Bool.or(U32.is_lt(cp, 32),
    Bool.or(Bool.and(U32.is_ge(cp, 127), U32.is_le(cp, 160)),
      U32.is_eq(cp, 173)))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  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=Base/base.bend&name=U32.is_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt