def folds_from

mlbend-split@0.1.1.0 · main.bend:138

import Base

138# The fold of every row from the row i on, given the shuffled rows of
139# every class.
140def folds_from(labels: List<&2, Nat>, +orders: List<&2, List<&2, Nat>>, +k: Nat, +i: Nat) ->
141  List<&2, Nat>:
142  match labels:
143    case Nil{}:
144      Nil{}
145    case Con{h, t}:
146      Con{fold_in(orders, k, h, i), folds_from(t, orders, k, Nat.add(i, 1n))}