From e6d85175f3713d7e65bdc0219853ff43a94f3e48 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 22 May 2010 18:03:18 -0400 Subject: [PATCH] Document Exact-Nonnegative-Integer --- collects/typed-scheme/scribblings/ts-reference.scrbl | 1 + 1 file changed, 1 insertion(+) 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]