~/jendhub

def feas_idx.on

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

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

544def feas_idx.on(+i: Nat, rest: List<&2, Nat>, ok: Bool) -> List<&2, Nat>:
545  match ok:
546    case True{}:
547      i <> rest
548    case False{}:
549      rest

Uses (3)

Used by (1)