def rev.bits.after
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
2122def rev.bits.after(step: Bs, a: Array<U32>, best: Maybe<&2, U32>, +i: U32) -> RevBits:
2123 Bs{+next, fin, end} = step
2124 RevBits{U32.is_ne(next, 0), a, next, rev.best(fin, i, best), True{}}