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