类型

(泛型 (甲) (-> (匣子型 甲) 真假型))

描述

判断匣子是否为空。

例子

(定义 匣子 (作匣子))
(匣子为空 匣子) ;; => 真
(匣子存 匣子 42)
(匣子为空 匣子) ;; => 假