MlbendSplit.class_orders_go: def of mlbend-split@0.1.1.0
Import: import mlbend-split@0.1.1.0/main.bend as MlbendSplit
Lines 59-67 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=59&end_line=67

import Base

# The shuffled rows of every class, one class after the other.
def class_orders_go(+labels: List<&2, Nat>, +seed: U32, remaining: Nat, +next: Nat,
  +acc: List<&2, List<&2, Nat>>) -> List<&2, List<&2, Nat>>:
  match remaining:
    case 0n:
      acc
    case 1n+rest:
      class_orders_go(labels, seed, rest, Nat.add(next, 1n),
        List.append(&2, List<&2, Nat>, acc, Con{shuffled_class(labels, next, seed), Nil{}}))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=mlbend-split@0.1.1.0/main.bend&name=shuffled_class