diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl index b688cd69d1..c448213be6 100644 --- a/collects/typed-scheme/scribblings/ts-reference.scrbl +++ b/collects/typed-scheme/scribblings/ts-reference.scrbl @@ -26,6 +26,7 @@ @defidform[Integer] @defidform[Natural] @defidform[Exact-Positive-Integer] +@defidform[Exact-Nonnegative-Integer] @defidform[Boolean] @defidform[True] @defidform[False]