类型

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

描述

判断元素是否存在于集合中。

例子

(集合有 (@集合 1 2 3) 2)  ;; => 真
(集合有 (@集合 1 2 3) 0)  ;; => 假