Document Exact-Nonnegative-Integer

2010-05-22 18:03:18 -04:00 · 2010-05-22 18:03:18 -04:00 · e6d85175f3
commit e6d85175f3
parent 5d6afabf5e
1 changed files with 1 additions and 0 deletions
--- 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]