Fix docs for Opaque

Closes PR 13531
2013-05-03 12:15:50 -04:00 · 2013-05-03 12:15:50 -04:00 · 7c96321cd4
commit 7c96321cd4
parent cf8ec30bee
1 changed files with 2 additions and 1 deletions
--- a/collects/typed-racket/scribblings/reference/types.scrbl
+++ b/collects/typed-racket/scribblings/reference/types.scrbl
@ -516,6 +516,7 @@ argument.}
@section{Other Types}

@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)