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

import Base
import unified-nsga-iii@0.2.2.0/util.bend as Util

def count.succ(+rest: Nat, +partitions: Nat, z: Bool) -> Nat:
  match z:
    case True{}:
      1n
    case False{}:
      Util.binomial(Nat.add(partitions, rest), rest)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=unified-nsga-iii@0.2.2.0/util.bend&name=binomial