EmergingEztoml.arr.top: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 2840-2859 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=2840&end_line=2859

import Base

# close an array and place it
def arr.top(
  stack: List<&2, Ctx>,
  bad: String,
  rows: List<&2, Val>,
  heads: List<&2, String>,
  back: Lex,
  qkind: QKind,
  uni: U32,
  left: U32,
  arrtab: Bool,
  lead: Bool
) -> St:
  match stack:
    case CArr{items, parts, here} <> rest:
      val.take(St{bad, rows, heads, here, parts, [], LTop{}, back, qkind, rest, HNone{},
        uni, left, arrtab, lead}, VArr{List.reverse(&2, Val, items)})
    case _:
      St{err.first(bad, "unclosed"), rows, heads, [], [], [], LSink{}, back, qkind, [],
        HNone{}, uni, left, arrtab, lead}

Uses (13):
  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=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Ctx
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Hold
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Lex
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=QKind
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=err.first
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=val.take