def eat.close

emerging-eztoml@0.9.0.0 · main.bend:5198

import Base

5198# a plain string is the first n characters of the source suffix
5199def eat.close(
5200  cut: String,
5201  nn: U32,
5202  bad: String,
5203  rows: List<&2, Val>,
5204  heads: List<&2, String>,
5205  here: List<&2, String>,
5206  parts: List<&2, String>,
5207  qkind: QKind,
5208  stack: List<&2, Ctx>,
5209  uni: U32,
5210  left: U32,
5211  arrtab: Bool
5212) -> St:
5213  val.take(St{bad, rows, heads, here, parts, [], LStr{}, LStr{}, qkind, stack, HNone{},
5214    uni, left, arrtab, False{}}, VSpan{cut, nn})