~/jendhub

def advance

unified-nsga-iii@0.2.2.0 · polynomial_mutation.bend:73

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

73def advance(rng: Rng.State, rest: Nat) -> Rng.State:
74  match rest:
75    case 0n:
76      rng
77    case 1n+g:
78      Rng.next_double(rng)

Uses (3)

Used by (1)