~/jendhub

def keep_in.go

unified-nsga-iii@0.2.2.0 · normalization.bend:561

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

561def keep_in.go(idxs: List<&2, Nat>, +pool: List<&2, Nat>) -> List<&2, Nat>:
562  match idxs:
563    case Nil{}:
564      Nil{}
565    case +i <> t:
566      Util.keep_if(Nat, i, keep_in.go(t, pool), Util.in_nats(i, pool))

Uses (4)

Used by (1)