def fold_in_of

mlbend-split@0.1.1.0 · main.bend:105

import Base

105# The fold of a row, given the shuffled rows of its class.
106def fold_in_of(order: List<&2, Nat>, k: Nat, i: Nat) -> Nat:
107  Nat.mod(position_of(order, i), k)