renaming unstable/contract's option/c to maybe/c

This commit is contained in:
chrdimo 2013-01-28 01:08:17 -05:00
parent 17e419e700
commit 5231e15a78

View File

@ -198,7 +198,7 @@
[if/c (-> procedure? contract? contract? contract?)]
[failure-result/c contract?]
[rename-contract (-> contract? any/c contract?)]
[option/c (-> contract? contract?)]
[rename option/c maybe/c (-> contract? contract?)]
[truth/c flat-contract?]