类型

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

描述

或有型 的构造器，表示缺失的值。

例子

(令 ((或有 无))
  (为无 或有))  ;; => 真