类型

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

描述

替换 有 值中的内容。如果对 无 调用则会出错。

例子

(令 ((或有 (有 42)))
  (有存值 或有 7)
  (有值 或有))  ;; => 7