Regex.close: def of bend-kit-regex@0.8.0.0
Import: import bend-kit-regex@0.8.0.0/regex.bend as Regex
Lines 1056-1067 of bend-kit-regex@0.8.0.0/regex.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-regex@0.8.0.0/regex.bend&start_line=1056&end_line=1067

import Base

# fuel: each pc expands once and pushes at most two threads.
def close(fuel: Nat, +prog: Trie<Inst>, +pos: U32, +prev: Maybe<&2, Char>, +next: Maybe<&2, Char>, st: Cl) -> List<&2, Th>:
  match fuel:
    case 0n:
      Cl{stack, seen, out} = st
      List.reverse(&2, Th, out)
    case 1n+f:
      match st:
        case Cl{Nil{}, seen, out}:
          List.reverse(&2, Th, out)
        case Cl{Con{th, t}, seen, out}:
          close(f, prog, pos, prev, next, close.step(th, t, seen, out, prog, pos, prev, next))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=Cl
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=Inst
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=Th
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=Trie
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=close.step