def lex.after
import gralha-xml-doc@0.1.0.1/xml.bend as Xmlimport Base
216def lex.after(s: String, next: String -> List<&2, Token>) -> List<&2, Token>:
217 match s:
218 case SNil{}: Nil{}
219 case SCon{c, t}: lex.more(lex.tag(SCon{c, t}), next)