English
Appearance
(all (A) (-> (set-t A) (-> A bool-t) (set-t A)))
Remove elements that satisfy the predicate.
(set-reject (@set -2 -1 0 1 2) int-non-negative?) ;; => (@set -2 -1)