def head.fin

emerging-eztoml@0.9.0.0 · main.bend:2832

import Base

2832# push a trailing segment, then open the header
2833def head.fin(st: St) -> St:
2834  St{bad, rows, heads, here, parts, +buf, lex, back, qkind, stack, hold, uni, left,
2835    arrtab, lead} = st
2836  head.fin.buf(List.is_empty(&2, Char, buf),
2837    St{bad, rows, heads, here, parts, buf, lex, back, qkind, stack, hold, uni, left,
2838      arrtab, lead})