def first.inst
bend-kit-regex@0.8.0.0 · regex.bend:737
import bend-kit-regex@0.8.0.0/regex.bend as Regex
import Base
737def first.inst(i: Maybe<&2, Inst>, +pc: U32, stack: List<&2, U32>, seen: List<&2, U32>, sets: List<&2, Inst>) -> Fs:
738 match i:
739 case Some{IJmp{x}}:
740 Fs{x <> stack, seen, sets}
741 case Some{ISplit{x, y}}:
742 Fs{x <> y <> stack, seen, sets}
743 case Some{ISave{k}}:
744 Fs{(pc + 1 : U32) <> stack, seen, sets}
745 case Some{ISet{neg, items}}:
746 Fs{stack, seen, ISet{neg, items} <> sets}
747 case _:
748 FsAny{}