def lex.more
import gralha-xml-doc@0.1.0.1/xml.bend as Xmlimport Base
212def lex.more(item: Lexeme, next: String -> List<&2, Token>) -> List<&2, Token>:
213 Lexeme{tok, t} = item
214 Con{tok, next(t)}
import gralha-xml-doc@0.1.0.1/xml.bend as Xmlimport Base
212def lex.more(item: Lexeme, next: String -> List<&2, Token>) -> List<&2, Token>:
213 Lexeme{tok, t} = item
214 Con{tok, next(t)}