def keep_nat

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

import Base

115def keep_nat(h: Nat, rest: List<&2, Nat>, keep: Bool) -> List<&2, Nat>:
116  match keep:
117    case True{}:
118      h <> rest
119    case False{}:
120      rest