def token_source

qasim-bend-kit@0.1.0.2 · proof/JSON_SourceProof.bend:11

import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J

11def token_source(xs: List<&2, J.Lexeme>, tail: List<J.Token>) -> List<J.Token>:
12    match xs:
13        case Nil{}: tail
14        case h <> t: J.decode_lexeme(h) <> token_source(t, tail)