def first.seen
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
750def first.seen(hit: Bool, +prog: List<&2, Inst>, +pc: U32, stack: List<&2, U32>, seen: List<&2, U32>, sets: List<&2, Inst>) -> Fs:
751 match hit:
752 case True{}:
753 Fs{stack, seen, sets}
754 case False{}:
755 first.inst(List.get(&2, Inst, prog, U32.to_nat(pc)), pc, stack, pc <> seen, sets)