~/jendhub

def refs_of_count.go

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

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

795def refs_of_count.go(bags: List<&2, Bag>, +need: Nat, +acc: List<&2, Nat>) -> List<&2, Nat>:
796  match bags:
797    case Nil{}:
798      List.reverse(&2, Nat, acc)
799    case Bag{+ref, +count, members} <> rest:
800      refs_of_count.go(rest, need, keep_nat(ref, acc, Nat.is_eq(count, need)))

Uses (6)

Used by (1)