MlbendSplit.folds_from: def of mlbend-split@0.1.1.0
Import: import mlbend-split@0.1.1.0/main.bend as MlbendSplit
Lines 138-146 of mlbend-split@0.1.1.0/main.bend: https://jend.leeeet.dev/read.txt?path=mlbend-split@0.1.1.0/main.bend&start_line=138&end_line=146

import Base

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

Uses (4):
  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.add
  https://jend.leeeet.dev/definition.txt?path=mlbend-split@0.1.1.0/main.bend&name=fold_in