def train_row

mlbend-split@0.1.1.0 · main.bend:156

import Base

156# The row, out of the fold.
157def train_row(fold: Nat, f: Nat, +train: List<&2, Nat>, i: Nat) -> List<&2, Nat>:
158  Bool.pick(List<&2, Nat>, Nat.is_eq(fold, f), train, List.append(&2, Nat, train, Con{i, Nil{}}))