Regex.class.run: def of bend-kit-regex@0.8.0.0
Import: import bend-kit-regex@0.8.0.0/regex.bend as Regex
Lines 224-236 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=224&end_line=236

import Base

# fuel: every step eats at least one char.
def class.run(fuel: Nat, st: Cs) -> Cs:
  match fuel:
    case 0n:
      CsFail{}
    case 1n+f:
      match st:
        case CsGo{s, first, items}:
          class.run(f, class.step(s, first, items))
        case CsDone{items, rest}:
          CsDone{items, rest}
        case CsFail{}:
          CsFail{}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=Cs
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=class.step