类型

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

描述

筛选集合中满足条件的元素。

例子

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