~/jendhub

def nth_comp

unified-nsga-iii@0.2.2.0 · reference_directions.bend:99

import unified-nsga-iii@0.2.2.0/reference_directions.bend as ReferenceDirections
import Base

99def nth_comp(+m: Nat, +p: Nat, +k: Nat) -> List<&2, Nat>:
100  nth_comp.go(False{}, False{}, Nat.mul(Nat.add(p, 1n), Nat.add(m, 1n)), m, p, k, 0n, 0n, 0n)

Uses (6)

Used by (1)