~/jendhub

def count.succ

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

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

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

Uses (4)

Used by (1)