Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2007-04-23 09:19:49 -0700 (Mon, 23 Apr 2007)
Revision: 10482
Log message:

      A few more declarations.
     
     Minor: when choosing names, please try not to make silly abbreviations,
     like EMPTY_ARR.  What is an ARR?  For two characters more, it becomes
     very clear, EMPTY_ARRAY.  The other problem with abbreviations is that
     you have to remember which names are abbreviated, and which are not.
     It is a lot easier to be consistent.  The standard abbreviations are
     acceptable of course, like int, float, dir, etc.  In Pervasives.om
     at least, spell it out.