def head.apply

emerging-eztoml@0.9.0.0 · main.bend:2773

import Base

2773# close the header that was just read
2774def head.apply(end: End, segs: List<&2, String>, back: Lex, qkind: QKind, uni: U32, left: U32, lead: Bool) -> St:
2775  End{rows, bad, heads} = end
2776  St{bad, rows, heads, segs, [], [], LLine{}, back, qkind, [], HNone{}, uni, left,
2777    False{}, lead}