def advance

unified-nsga-iii@0.2.2.0 · sbx.bend:66

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

66# Draw the next per-var coin only when more variables remain.
67def advance(rng: Rng.State, rest: Nat) -> Rng.State:
68  match rest:
69    case 0n:
70      rng
71    case 1n+g:
72      Rng.next_double(rng)