def with_counts.one

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

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

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