def with_k

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

import Base

78def with_k(s: State, k2: Nat) -> State:
79  match s:
80    case MkState{s0, u, z, k}:
81      MkState{s0, u, z, k2}