def position_of

mlbend-split@0.1.1.0 · main.bend:101

import Base

101# The place of a row among the shuffled rows of its class.
102def position_of(order: List<&2, Nat>, i: Nat) -> Nat:
103  position_go(order, i, 0n)