def next_nat

unified-nsga-iii@0.2.2.0 · rng.bend:83

import Base

83# Uniform integer in [0, n). n == 0n → 0n.
84def next_nat(s: State, n: Nat) -> State:
85  +s2 = next_double(s)
86  with_k(s2, idx_from(last_double(s2), n))