def offs_next.q

unified-nsga-iii@0.2.2.0 · algorithm.bend:304

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

304def offs_next.q(+pair0: Nat, quad: Rng.State & Nat & List<&2, Ind.Individual> & List<&2, List<&2, F32>>) -> OHold:
305  (rng, need, acc, seen) = quad
306  OH{need, Nat.add(pair0, 2n), rng, acc, seen}