def cons_if

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

import Base

394def cons_if(h: Nat, rest: List<&2, Nat>, keep: Bool) -> List<&2, Nat>:
395  match keep:
396    case True{}:
397      h <> rest
398    case False{}:
399      rest