Sbx.loop: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/sbx.bend as Sbx
Lines 147-159 of unified-nsga-iii@0.2.2.0/sbx.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/sbx.bend&start_line=147&end_line=159

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

def loop(
  fuel: Nat,
  skip: Bool,
  close: Bool,
  +eta: F32,
  xs1: List<&2, F32>,
  xs2: List<&2, F32>,
  ivs: List<&2, Bounds.Interval>,
  rng: Rng.State,
  acc1: List<&2, F32>,
  acc2: List<&2, F32>
) -> Rng.State & List<&2, F32> & List<&2, F32>:
  loop.go(fuel, skip_kind(skip, close), xs1, xs2, ivs, eta, rng, acc1, acc2)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/bounds.bend&name=Interval
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/rng.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/sbx.bend&name=loop.go
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/sbx.bend&name=skip_kind