MlbendGenerative.strided_from: def of mlbend-generative@0.1.1.0
Import: import mlbend-generative@0.1.1.0/main.bend as MlbendGenerative
Lines 290-302 of mlbend-generative@0.1.1.0/main.bend: https://jend.leeeet.dev/read.txt?path=mlbend-generative@0.1.1.0/main.bend&start_line=290&end_line=302

import Base

# Every k-th entry of xs, the (skip+1)-th first: drop `skip`, emit one,
# drop k-1, emit one, and so on to the end of the list. The list is
# matched first (binders in order), the skip beside it.
def strided_from(-A: Data, xs: List<&2, A>, +k: Nat, +skip: Nat) -> List<&2, A>:
  match xs:
    case Nil{}:
      Nil{}
    case Con{h, t}:
      match skip:
        case 0n:
          Con{h, strided_from(A, t, k, Nat.sub(k, 1n))}
        case 1n+r:
          strided_from(A, t, k, r)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub