def count.go

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

import Base

25def count.go(+rest: Nat, +partitions: Nat) -> Nat:
26  count.succ(rest, partitions, Nat.is_eq(rest, 0n))

Uses (3)