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

import Base

# a dotted key asks whether a header defined the table; a header walk does not
def tree.sub.head(
  dot: Bool,
  path: String,
  rows: List<&2, Val>,
  +name: String,
  vs: List<&2, Val>,
  job: Job,
  stack: List<&2, Fr>,
  +pre: String,
  +heads: List<&2, String>,
  inl: Bool,
  mark: Bool
) -> Tw:
  match dot:
    case True{}:
      tree.sub.head.go(heads.head(heads, tree.pre(pre, name)), path, rows, name, vs, job,
        stack, pre, heads, inl, mark)
    case False{}:
      tree.sub.head.go(False{}, path, rows, name, vs, job, stack, pre, heads, inl, mark)

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=Fr
  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=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=heads.head
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=tree.pre
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=tree.sub.head.go