def skip.from
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
1435def skip.from(a: Array<U32>, +len: U32, +k: U32, +m: Asc) -> Array<U32> & U32:
1436 skip(U32.to_nat((len - k : U32)), probe(a, len, k, m), len, k, m)
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
1435def skip.from(a: Array<U32>, +len: U32, +k: U32, +m: Asc) -> Array<U32> & U32:
1436 skip(U32.to_nat((len - k : U32)), probe(a, len, k, m), len, k, m)