Tree.leaves.go: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/tree.bend as Tree
Lines 106-117 of bolt@1.27.0.0/src/syntax/tree.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&start_line=106&end_line=117

import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

def leaves.go(nn: Node, acc: List<&2, Lex.Tok>) -> List<&2, Lex.Tok>:
  match nn:
    case Leaf{tok}:
      tok <> acc
    case Group{open, kids, close}:
      leaf_close(close, leaves.go(kids, open <> acc))
    case Stmt{kind, kids, body}:
      leaves.go(body, leaves.go(kids, acc))
    case NNil{}:
      acc
    case NCons{h, t}:
      leaves.go(t, leaves.go(h, acc))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=leaf_close