def wrap_pair

import unified-nsga-iii@0.2.2.0/algorithm.bend as Algorithm

import Base

190def wrap_pair(+pair: Nat, +n: Nat) -> Nat:
191  wrap_pair.go(pair, Nat.is_lt(1n+pair, n), Nat.is_eq(1n+pair, n))

Uses (4)