def order_at

mlbend-split@0.1.1.0 · main.bend:125

import Base

125# The shuffled rows of the class of a label: the n-th of the orders.
126def order_at(n: Nat, +orders: List<&2, List<&2, Nat>>) -> List<&2, Nat>:
127  match n:
128    case 0n:
129      order_head(orders)
130    case 1n+rest:
131      order_at(rest, order_tail(orders))