def size_lock.rng

unified-nsga-iii@0.2.2.0 · survival.bend:1176

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

1176# All-feasible Run path. Defined before constrained fill so a feasible
1177# subset that still needs niching calls this directly (no cycle through
1178# select_st).
1179def size_lock.rng(+want: Nat, +n: Nat, pair: List<&2, Nat> & Rng.State) -> List<&2, Nat> & Rng.State:
1180  (xs, rng) = pair
1181  (size_lock(xs, want, n), rng)