Individual.Individual: type of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/individual.bend as Individual
Lines 12-24 of unified-nsga-iii@0.2.2.0/individual.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/individual.bend&start_line=12&end_line=24

import Base

type Individual is Data:
  MkIndividual{
    x: List<&2, F32>
    f: List<&2, F32>
    g: List<&2, F32>
    cv: F32
    rnk: Nat
    nic: Nat
    aref: Nat
    dist: F32
    ev: Bool
    lnk: Bool
  }

Uses (4):
  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