def strided

mlbend-generative@0.1.1.0 · main.bend:304

import Base

304# every k-th entry of xs, the k-th first
305def strided(-A: Data, xs: List<&2, A>, +k: Nat) -> List<&2, A>:
306  strided_from(A, xs, k, Nat.sub(k, 1n))