def str.fin
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
2913# a string is finished
2914def str.fin(st: St) -> St:
2915 St{bad, rows, heads, here, parts, buf, lex, back, qkind, stack, hold, uni, left, arrtab,
2916 lead} = st
2917 val.take(St{bad, rows, heads, here, parts, [], lex, back, qkind, stack, hold, uni, left,
2918 arrtab, lead}, VStr{buf.str(buf)})