类型

(泛型 (键 值) (-> (散列型 键 值) 键 真假型))

描述

判断散列表中是否包含指定键。

例子

(散列有 (@散列 "a" 1 "b" 2) "a")  ;; => 真
(散列有 (@散列 "a" 1 "b" 2) "c")  ;; => 假