def fold_in

mlbend-split@0.1.1.0 · main.bend:133

import Base

133# The fold of a row: its place among the shuffled rows of its class,
134# dealt out over the folds in turn.
135def fold_in(orders: List<&2, List<&2, Nat>>, k: Nat, label: Nat, i: Nat) -> Nat:
136  fold_in_of(order_at(label, orders), k, i)