Survival.with_counts.one: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/survival.bend as Survival
Lines 329-332 of unified-nsga-iii@0.2.2.0/survival.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/survival.bend&start_line=329&end_line=332

import Base
import unified-nsga-iii@0.2.2.0/util.bend as Util

def with_counts.one(+counts: List<&2, Nat>, +a: Assignment) -> Assignment:
  match a:
    case MkAssignment{+r, d, n}:
      MkAssignment{r, d, Util.get_nat(counts, r)}

Uses (4):
  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=unified-nsga-iii@0.2.2.0/survival.bend&name=Assignment
  https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/util.bend&name=get_nat