def rc4.after
import bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend as Rc4import Base
125def rc4.after(xs: List<&2, U32>, st: LcRc4State) -> LcRc4State:
126 match xs:
127 case Nil{}:
128 st
129 case Con{x, t}:
130 rc4.after(t, rc4.step.st(rc4.next(st)))