def close.assert
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
1019def close.assert(ok: Bool, +pc: U32, caps: List<&2, Maybe<&2, U32>>, stack: List<&2, Th>, seen: Trie<Unit>, out: List<&2, Th>) -> Cl:
1020 match ok:
1021 case True{}:
1022 Cl{Th{(pc + 1 : U32), caps} <> stack, seen, out}
1023 case False{}:
1024 Cl{stack, seen, out}