From c85515e258bd35007d705a1e443fc33fc58815e4 Mon Sep 17 00:00:00 2001 From: Phil Nguyen Date: Fri, 28 Oct 2016 00:19:09 -0400 Subject: [PATCH] type for `hash-empty?` --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index 7f350995..ed1b105a 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -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)]