类型

(泛型 (甲) (-> (列表型 甲) 甲 真假型))

描述

判断列表中是否包含指定元素。

例子

(列表有 (@列表 1 2 3) 2)   ;; => 真
(列表有 (@列表 1 2 3) 0)   ;; => 假