EmergingEztoml.take.top: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 2681-2709 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=2681&end_line=2709

import Base

# place a finished value into the current table, array, or inline table
def take.top(
  stack: List<&2, Ctx>,
  val: Val,
  bad: String,
  rows: List<&2, Val>,
  heads: List<&2, String>,
  +here: List<&2, String>,
  parts: List<&2, String>,
  back: Lex,
  qkind: QKind,
  uni: U32,
  left: U32,
  arrtab: Bool,
  lead: Bool
) -> St:
  match stack:
    case []:
      take.root(tree.walk(path.cat(here, parts),
        Tw{rows, JPut{val}, [], bad, "", heads, False{}}, path.len(here, 0)), here,
        back, qkind, uni, left, arrtab, lead)
    case CArr{items, +saved, +at} <> rest:
      St{bad, rows, heads, at, saved, [], LArrC{}, back, qkind,
        CArr{val <> items, saved, at} <> rest, HNone{}, uni, left, arrtab, lead}
    case CInl{inl, +saved, +at} <> rest:
      take.inl(tree.walk(List.reverse(&2, String, parts),
        Tw{inl, JPut{val}, [], bad, "", [], True{}}, 0), rows, heads, at, saved, rest,
        back,
        qkind, uni, left, arrtab, lead)

Uses (18):
  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=Job
  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=Tw
  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=path.cat
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=path.len
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=take.inl
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=take.root
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=tree.walk