类型

(泛型 (键 值) (-> (散列型 键 值) 键 (或有型 值)))

描述

按键查找，找到时返回 (有 V)，未找到时返回 无。

例子

(散列取或有 (@散列 1 "a" 2 "b" 3 "c") 2)  ;; => (有 "b")
(散列取或有 (@散列 1 "a" 2 "b" 3 "c") 4)  ;; => 无