类型

(泛型 (甲) (-> (集合型 甲) (-> 甲 真假型) (集合型 甲)))

描述

从集合中排除满足条件的元素。

例子

(集合剔除 (@集合 -2 -1 0 1 2) 整数非负)  ;; => (@集合 -2 -1)