ReferenceDirections.nth_comp: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/reference_directions.bend as ReferenceDirections
Lines 99-100 of unified-nsga-iii@0.2.2.0/reference_directions.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/reference_directions.bend&start_line=99&end_line=100

import Base

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mul
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/reference_directions.bend&name=nth_comp.go