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

import Base

def first.inst(i: Maybe<&2, Inst>, +pc: U32, stack: List<&2, U32>, seen: List<&2, U32>, sets: List<&2, Inst>) -> Fs:
  match i:
    case Some{IJmp{x}}:
      Fs{x <> stack, seen, sets}
    case Some{ISplit{x, y}}:
      Fs{x <> y <> stack, seen, sets}
    case Some{ISave{k}}:
      Fs{(pc + 1 : U32) <> stack, seen, sets}
    case Some{ISet{neg, items}}:
      Fs{stack, seen, ISet{neg, items} <> sets}
    case _:
      FsAny{}

Uses (6):
  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=bend-kit-regex@0.8.0.0/regex.bend&name=Fs
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=Inst