def name.end

ezhttp@0.22.0.0 · src/unescape.bend:278

import ezhttp@0.22.0.0/src/unescape.bend as Unescape

import 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)

Uses (6)

Used by (1)

ezhttp@0.22.0.0/src/unescape:name.more