~/jendhub

def minus

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

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

87def minus(+xs: List<&2, Nat>, +ys: List<&2, Nat>) -> List<&2, Nat>:
88  match xs:
89    case Nil{}:
90      Nil{}
91    case h <> t:
92      minus.put(h, minus(t, ys), in_nats(h, ys))

Uses (4)

Used by (1)