def minus.put

unified-nsga-iii@0.2.2.0 · util.bend:80

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

import Base

80def minus.put(h: Nat, rest: List<&2, Nat>, drop: Bool) -> List<&2, Nat>:
81  match drop:
82    case True{}:
83      rest
84    case False{}:
85      h <> rest

Uses (3)

Used by (1)

unified-nsga-iii@0.2.2.0/util:minus