Tree.leaf_close: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/tree.bend as Tree
Lines 98-104 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=98&end_line=104

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

# the leaves of a tree, in order: the significant tokens
def leaf_close(close: Maybe<&2, Lex.Tok>, acc: List<&2, Lex.Tok>) -> List<&2, Lex.Tok>:
  match close:
    case None{}:
      acc
    case Some{tok}:
      tok <> acc

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