def bump_except

import unified-nsga-iii@0.2.2.0/rng.bend as Rng

import Base

88def bump_except(+v: Nat, +exclude: Nat, below: Bool) -> Nat:
89  match below:
90    case True{}:
91      v
92    case False{}:
93      1n+v

Uses (2)

Bool
Nat

Used by (1)

unified-nsga-iii@0.2.2.0/rng:next_except.go