类型

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

描述

判断集合中是否有元素满足条件。

例子

(集合有些 (@集合 -1 0 1) 整数非负)  ;; => 真
(集合有些 (@集合 -1 -2) 整数非负)   ;; => 假