def st.push

emerging-eztoml@0.9.0.0 · main.bend:2633

import Base

2633# append one character
2634def st.push(st: St, cc: Char, lex: Lex) -> St:
2635  St{bad, rows, heads, here, parts, buf, _lex, back, qkind, stack, hold, uni, left,
2636    arrtab, lead} = st
2637  St{bad, rows, heads, here, parts, cc <> buf, lex, back, qkind, stack, hold, uni, left,
2638    arrtab, lead}