def St.fin
import bendtorch-load@1.3.0.0/main.bend as BendtorchLoadimport Base
310# the end of the header: a number ends there, an unfinished string is malformed
311def St.fin(st: Lex, out: List<&2, Tok>) -> List<&2, Tok>:
312 match st:
313 case LOut{}: out
314 case LNum{v}: Con{TNum{v}, out}
315 case LStr{acc}: Con{TBad{0}, out}
316 case LEsc{acc}: Con{TBad{0}, out}