type Split

unified-nsga-iii@0.2.2.0 · non_dominated_sort.bend:186

import Base

186# Split remaining into (front indices, leftover rows). Same front
187# membership and leftover order as the old index-list peel.
188# |front| + |leftover| = |remaining| by construction.
189type Split is Data:
190  Split{
191    ff: List<&2, Nat>
192    ot: List<&2, Row>
193  }