type CntNeed

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

import Base

412type CntNeed is Data:
413  CN{
414    counts: List<&2, Nat>
415    need: Nat
416  }