类型

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

描述

求两个集合的交集。

例子

(集合交 (@集合 1 2 3) (@集合 2 3 4))  ;; => (@集合 2 3)
(集合交 (@集合 1) (@集合 2))          ;; => (@集合)