EmergingEztoml.tree.leaf.def.hit: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 2146-2168 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=2146&end_line=2168

import Base

# open a standard table
def tree.leaf.def.hit(
  hit: Look,
  name: String,
  vs: List<&2, Val>,
  stack: List<&2, Fr>,
  bad: String,
  +path: String,
  +heads: List<&2, String>
) -> End:
  match hit:
    case KMiss{}:
      tree.rebuild(stack, VPair{name, VHead{path, []}} <> vs, bad,
        heads.by.head(path) <> heads)
    case KHead{_p, rows}:
      tree.leaf.def.head(heads.has(heads, path), name, vs, rows, stack, bad, path,
        heads)
    case KInl{}:
      tree.rebuild(stack, vs, err.first(bad, "inline table is closed"), heads)
    case KAots{_p, _elems}:
      tree.rebuild(stack, vs, err.first(bad, "not a table"), heads)
    case KNo{why}:
      tree.rebuild(stack, vs, err.first(bad, why), heads)

Uses (11):
  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=emerging-eztoml@0.9.0.0/main.bend&name=End
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Fr
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Look
  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=heads.by.head
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=heads.has
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=tree.leaf.def.head
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=tree.rebuild