~/jendhub

def refs_at.ok

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

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

418def refs_at.ok(+ctx: CntNeed, +r: Nat) -> Bool:
419  match ctx:
420    case CN{counts, need}:
421      Nat.is_eq(Util.get_nat(counts, r), need)

Uses (5)

Used by (1)