类型

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

描述

判断集合是否为空。

例子

(集合为空 (@集合))       ;; => 真
(集合为空 (@集合 1 2 3))  ;; => 假