suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

type for hash-empty?

Browse Source
This commit is contained in:
Phil Nguyen 2016-10-28 00:19:09 -04:00
parent 9c33a54c6a
commit c85515e258
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -965,6 +965,7 @@
[(-HashTop (-> Univ Univ c)) -Void]))]
[hash-count (-poly (a b) (cl-> [((-HT a b)) -Index]
[(-HashTop) -Index]))]
[hash-empty? (-> -HashTop -Boolean)]
[hash-keys (-poly (a b) (cl-> [((-HT a b)) (-lst a)]
[(-HashTop) (-lst Univ)]))]
[hash-values (-poly (a b) (cl-> [((-HT a b)) (-lst b)]