ReferenceDirections.count: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/reference_directions.bend as ReferenceDirections
Lines 28-35 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=28&end_line=35

import Base

# Number of Das–Dennis points. M == 0n is a guard (0). M == 1n → 1.
# M == 1n+rest → if rest == 0 then 1 else C(p + rest, rest) = C(p + M - 1, M - 1).
def count(number_of_objectives: Nat, partitions: Nat) -> Nat:
  match number_of_objectives:
    case 0n:
      0n
    case 1n+rest:
      count.go(rest, partitions)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/reference_directions.bend&name=count.go