def in_nats

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

import Base

70def in_nats(+x: Nat, xs: List<&2, Nat>) -> Bool:
71  List.contains(~Nat, ~Nat.is_eq, xs, x)