From bb11c934789813af0c6417ec55b1f449806e4d38 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 29 Aug 2011 15:25:53 -0400 Subject: [PATCH] Add Nonnegative-Integer as a synonym for Natural. original commit: 15aeb099ea587eef539884620b222bff7766ec77 --- collects/typed-scheme/base-env/base-types.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/base-env/base-types.rkt b/collects/typed-scheme/base-env/base-types.rkt index 4237ca3c..6b410dfe 100644 --- a/collects/typed-scheme/base-env/base-types.rkt +++ b/collects/typed-scheme/base-env/base-types.rkt @@ -53,7 +53,8 @@ [Integer -Int] [Nonpositive-Integer -NonPosInt] [Negative-Integer -NegInt] -[Exact-Nonnegative-Integer -Nat] ; both of these are valid +[Exact-Nonnegative-Integer -Nat] ; all three of these are valid +[Nonnegative-Integer -Nat] [Natural -Nat] [Exact-Positive-Integer -PosInt] ; both of these are valid [Positive-Integer -PosInt]