numtypes.e
(c) 1/15/06
J. Peterson
1. Introduction
This module is a collection of global types for restricting the possible values of numbers.
2. Routines
even
negative_atom
negative_integer
nonnegative_atom
nonnegative_integer
nonpositive_atom
nonpositive_integer
odd
point_2d
point_3d
positive_atom
positive_integer
... continue
3. Alphabetical Listing of All Routines, From A to Z