类型

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

描述

从 有 值中提取内容。如果对 无 调用则会出错。

例子

(有值 (有 42))  ;; => 42