def loop

unified-nsga-iii@0.2.2.0 · sbx.bend:147

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

147def loop(
148  fuel: Nat,
149  skip: Bool,
150  close: Bool,
151  +eta: F32,
152  xs1: List<&2, F32>,
153  xs2: List<&2, F32>,
154  ivs: List<&2, Bounds.Interval>,
155  rng: Rng.State,
156  acc1: List<&2, F32>,
157  acc2: List<&2, F32>
158) -> Rng.State & List<&2, F32> & List<&2, F32>:
159  loop.go(fuel, skip_kind(skip, close), xs1, xs2, ivs, eta, rng, acc1, acc2)