Unescape.name.char: def of emerging-ezhttp@0.22.0.0
Import: import emerging-ezhttp@0.22.0.0/src/unescape.bend as Unescape
Lines 191-197 of emerging-ezhttp@0.22.0.0/src/unescape.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.22.0.0/src/unescape.bend&start_line=191&end_line=197

import Base

# a character that may be in a name: anything but TAB, LF, FF, space, `<`,
# `&`, `#` and `;`
def name.char(+c: Char) -> Bool:
  Bool.not(Bool.or(Char.is_eq(c, '\t'), Bool.or(Char.is_eq(c, '\n'),
    Bool.or(Char.is_eq(c, '\u{C}'), Bool.or(Char.is_eq(c, ' '),
      Bool.or(Char.is_eq(c, '<'), Bool.or(Char.is_eq(c, '&'),
        Bool.or(Char.is_eq(c, '#'), Char.is_eq(c, ';')))))))))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_eq