diff --git a/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl b/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl index d8193561..4a87beb5 100644 --- a/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl +++ b/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl @@ -21,6 +21,8 @@ @defidform[Any]{Any Racket value. All other types are subtypes of @racket[Any].} +@defidform[AnyValues]{Any number of Racket values of any type.} + @defidform[Nothing]{The empty type. No values inhabit this type, and any expression of this type will not evaluate to a value.}