类型

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

描述

判断列表中是否所有元素都满足条件。空列表返回 真。

例子

(列表全部 (@列表 0 1 2 3) 整数非负)  ;; => 真
(列表全部 (@列表 0 1 -1) 整数非负)   ;; => 假