def name.end
import emerging-ezhttp@0.21.0.0/src/unescape.bend as Unescapeimport Base
278# inside a name, a character that does not join it: the name ends there
279def name.end(+s: String, +c: Char, k: Scan -> String) -> String:
280 named(s) ++ text(c, k)