Regex.eps.inst: def of bend-kit-regex@0.8.0.0
Import: import bend-kit-regex@0.8.0.0/regex.bend as Regex
Lines 793-808 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=793&end_line=808

import Base

def eps.inst(i: Maybe<&2, Inst>, +pc: U32, +at0: Bool, +at1: Bool, stack: List<&2, U32>, seen: List<&2, U32>, +mask: U32, hit: Bool) -> Ew:
  match i:
    case Some{IJmp{x}}:
      Ew{x <> stack, seen, mask, hit}
    case Some{ISplit{x, y}}:
      Ew{x <> y <> stack, seen, mask, hit}
    case Some{ISave{k}}:
      Ew{(pc + 1 : U32) <> stack, seen, mask, hit}
    case Some{IAssert{k}}:
      eps.assert(eps.ctx(k, at0, at1), pc, stack, seen, mask, hit)
    case Some{ISet{neg, items}}:
      Ew{stack, seen, (mask .|. (1 << U32.to_nat(pc)) : U32), hit}
    case Some{IMatch{}}:
      Ew{stack, seen, mask, True{}}
    case None{}:
      Ew{stack, seen, mask, hit}

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shln
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=Ew
  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=eps.assert
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=eps.ctx