def tree.sub.head

emerging-eztoml@0.9.0.0 · main.bend:2313

import Base

2313# a dotted key asks whether a header defined the table; a header walk does not
2314def tree.sub.head(
2315  dot: Bool,
2316  path: String,
2317  rows: List<&2, Val>,
2318  +name: String,
2319  vs: List<&2, Val>,
2320  job: Job,
2321  stack: List<&2, Fr>,
2322  +pre: String,
2323  +heads: List<&2, String>,
2324  inl: Bool,
2325  mark: Bool
2326) -> Tw:
2327  match dot:
2328    case True{}:
2329      tree.sub.head.go(heads.head(heads, tree.pre(pre, name)), path, rows, name, vs, job,
2330        stack, pre, heads, inl, mark)
2331    case False{}:
2332      tree.sub.head.go(False{}, path, rows, name, vs, job, stack, pre, heads, inl, mark)