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

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

# n groups close, innermost first; only the last gets the close token
def close_n(nn: Nat, stack: List<&2, Frame>, close: Maybe<&2, Lex.Tok>) -> List<&2, Frame>:
  match nn:
    case Zero{}:
      stack
    case Succ{Zero{}}:
      close_one(stack, close)
    case Succ{p}:
      close_n(p, close_one(stack, None{}), close)

Uses (6):
  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=Base/base.bend&name=Nat
  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_one