类型

(泛型 (甲) (-> (或有型 甲) 真假型))

描述

判断 或有型 值是否为 无。

例子

(为无 无)    ;; => 真
(为无 (有 42))  ;; => 假