type CvRow

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

import Base
import unified-nsga-iii@0.2.2.0/individual.bend as Ind

1005type CvRow is Data:
1006  CvRow{
1007    i: Nat
1008    ind: Ind.Individual
1009  }