def head.job

emerging-eztoml@0.9.0.0 · main.bend:2779

import Base

2779# an array-of-tables header, or a table header
2780def head.job(
2781  arr: Bool,
2782  bad: String,
2783  rows: List<&2, Val>,
2784  heads: List<&2, String>,
2785  +segs: List<&2, String>,
2786  back: Lex,
2787  qkind: QKind,
2788  uni: U32,
2789  left: U32,
2790  lead: Bool
2791) -> St:
2792  match arr:
2793    case True{}:
2794      head.apply(tree.walk(segs, Tw{rows, JAot{}, [], bad, "", heads, False{}}, 0),
2795        segs,
2796        back, qkind, uni, left, lead)
2797    case False{}:
2798      head.apply(tree.walk(segs, Tw{rows, JDef{}, [], bad, "", heads, False{}}, 0),
2799        segs,
2800        back, qkind, uni, left, lead)