def next_double

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

import Base

48def next_double(s: State) -> State:
49  match s:
50    case MkState{s0, u, z, k}:
51      +n = step(u)
52      MkState{s0, n, to_unit(n), k}