diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl index 878e0b78..5b223e8f 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl @@ -374,7 +374,8 @@ those functions. [name-spec name (code:line name parent)] [options #:transparent #:mutable])]{ Defines a @rtech{structure} with the name @racket[name], where the - fields @racket[f] have types @racket[t], similar to the behavior of @|struct-id|. + fields @racket[f] have types @racket[t], similar to the behavior of @|struct-id| + from @racketmodname[racket/base]. When @racket[parent] is present, the structure is a substructure of @racket[parent]. When @racket[maybe-type-vars] is present, the structure is polymorphic in the type @@ -383,7 +384,8 @@ there must be at least as many type variables as in the parent type, and the parent type is instantiated with a prefix of the type variables matching the amount it needs. -Options provided have the same meaning as for the @racket[struct] form.} +Options provided have the same meaning as for the @|struct-id| form +from @racketmodname[racket/base].} @defform/subs[