def train_of

mlbend-split@0.1.1.0 · main.bend:201

import mlbend-split@0.1.1.0/main.bend as MlbendSplit
import Base

201# The rows of the fold f: the ones that train.
202def train_of(fs: List<&2, Nat>, f: Nat) -> List<&2, Nat>:
203  train_of_go(fs, f, 0n, Nil{})

Uses (3)

Used by (1)