JSON.token_list: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/libs/JSON.bend as JSON
Lines 1117-1121 of qasim-bend-kit@0.1.0.2/libs/JSON.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&start_line=1117&end_line=1121

import Base

def token_list(tree: TokenTree, tail: List<Token>) -> List<Token>:
    match tree:
        case TokensEmpty{}: tail
        case TokenLeaf{token}: token <> tail
        case TokenBranch{left, right}: token_list(left, token_list(right, tail))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=Token
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=TokenTree