:: Eq a => [a] -> a -> Bool -package:distribution-opensuse -package:Agda -package:generic-deriving -package:mixed-types-num package:vector
O(n) Check if the vector contains an element.
O(n) Check if the vector does not contain an element (inverse
of
elem).