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

Fix docs for Opaque

Browse Source 
Closes PR 13531
(cherry picked from commit 7c96321cd4)
This commit is contained in:
Asumu Takikawa 2013-05-03 12:15:50 -04:00 committed by Ryan Culpepper
parent f38129c741
commit def0ec7c01
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/scribblings/reference/types.scrbl
View File

@ -516,6 +516,7 @@ argument.}
@section{Other Types} @section{Other Types}
@defform[(Option t)]{Either @racket[t] or @racket[#f]} @defform[(Option t)]{Either @racket[t] or @racket[#f]}
@defform[(Opaque t)]{A type constructed using @racket[require-opaque-type].} @defform[(Opaque t)]{A type constructed using the @racket[#:opaque]
clause of @racket[require/typed].}
@(close-eval the-eval) @(close-eval the-eval)