Document Struct.

Merge to release.
(cherry picked from commit a589d02751)
This commit is contained in:
Sam Tobin-Hochstadt 2012-07-19 09:46:28 -04:00 committed by Ryan Culpepper
parent 5bd2ce24d9
commit 7468ae4e3c

View File

@ -444,6 +444,11 @@ recursive type in the body @racket[t]
(define-type (List A) (Rec List (Pair A (U List Null))))]}
@defform[(Struct st)]{is a type which is a supertype of all instances of the
potentially-polymorphic structure type @racket[_st]. Note that structure
accessors for @racket[_st] will @emph{not} accept @racket[(Struct st)] as an
argument.}
@defalias[→ ->]
@defalias[case→ case->]
@defalias[∀ All]