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

import Base

# an explicit header for a table that already exists
def tree.leaf.def.head(
  seen: Bool,
  name: String,
  vs: List<&2, Val>,
  rows: List<&2, Val>,
  stack: List<&2, Fr>,
  bad: String,
  +path: String,
  heads: List<&2, String>
) -> End:
  match seen:
    case True{}:
      tree.rebuild(stack, vs, err.first(bad, "duplicate table"), heads)
    case False{}:
      tree.rebuild(stack, rows.repl(vs, name, VHead{path, rows}), bad,
        heads.by.head(path) <> heads)

Uses (10):
  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=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=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=rows.repl
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=tree.rebuild