def offs_pair.done
import unified-nsga-iii@0.2.2.0/algorithm.bend as Algorithmimport 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
256def offs_pair.done(rng3: Rng.State, trip: Nat & List<&2, Ind.Individual> & List<&2, List<&2, F32>>) -> Rng.State & Nat & List<&2, Ind.Individual> & List<&2, List<&2, F32>>:
257 (need2, acc2, seen2) = trip
258 (rng3, need2, acc2, seen2)