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

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

# the close a bracket makes, given whether it is a run of `>`: a match, so
# only the side taken runs
def close_any.at(
  +gt: Bool,
  +stack: List<&2, Frame>,
  +close: Lex.Tok,
  +tt: String,
  +ll: U32,
  +cc: U32
) -> List<&2, Frame>:
  match gt:
    case True{}:
      close_gts(String.to_list(tt), stack, ll, cc)
    case False{}:
      close_tok(stack, close)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.to_list
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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=Frame
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=close_gts
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=close_tok