def tok.plain

emerging-ezhttp@0.21.0.0 · src/qs.bend:58

import Base

58# a character in plain text
59def tok.plain(plus: Bool, +c: Char, k: Esc -> List<&2, Tok>) -> List<&2, Tok>:
60  tok.wide(plus, c, k, U32.is_ge(Char.to_u32(c), 128))