类型

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

描述

或有型 的构造器，表示一个存在的值。

例子

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