hashes.scrbl, hash-intersect: Fix the contract on h0.

This commit is contained in:
Sergiu Ivanov 2021-01-23 09:01:15 +01:00 committed by Matthew Flatt
parent ef165fedda
commit 225aa54453

View File

@ -758,7 +758,7 @@ h
}
@defproc[(hash-intersect [h0 (and/c hash? (not/c immutable?))]
@defproc[(hash-intersect [h0 (and/c hash? immutable?)]
[h hash?] ...
[#:combine combine
(-> any/c any/c any/c)