def tok.end

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

import Base

93# the end of the text: an escape left open is written as it stands
94def tok.end(st: Esc) -> List<&2, Tok>:
95  match st:
96    case Plain{}:
97      []
98    case Pct{}:
99      [B{37}]
100    case Pct1{d}:
101      [B{37}, B{Char.to_u32(d)}]