def pair_mate

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

import Base

202def pair_mate(+p0: Nat, +n: Nat) -> Nat:
203  pair_mate.go(1n+p0, Nat.is_lt(1n+p0, n))

Uses (3)