def position_go

mlbend-split@0.1.1.0 · main.bend:93

import Base

93# The place of a row among the shuffled rows of its class.
94def position_go(order: List<&2, Nat>, +i: Nat, +at: Nat) -> Nat:
95  match order:
96    case Nil{}:
97      at
98    case Con{h, t}:
99      Bool.pick(Nat, Nat.is_eq(h, i), at, position_go(t, i, Nat.add(at, 1n)))