- 1
-  In the interval
[-230,230-1] on 32-bit machines and in the interval
[-262,262-1] on 64-bit machines
- 2
-  The floating point number m × 10n is
represented with a 53-bit mantissa m and an exponent n in the interval
[-1022,1023].
- 3
-  Not a Number
- 4
-  The List module is presented on page
??.
- 5
-  Fortunately since the number of types is only limited by
machine memory
- 6
-  Some predefined functions do not obey this
rule, in particular the structural equality function (=) which is
polymorphic (its type is 'a -> 'a -> bool) but which explores the
structure of its arguments to test their equality.
- 7
-  Translator's note: In Molière's play Le
Bourgeois Gentilhomme (The Bourgeois Gentleman), the character Mr.
Jourdain is amazed to discover that he has been speaking prose all his
life. The play can be found at
 Link 
 http://www.site-moliere.com/pieces/bourgeoi.htm
 and Link 
 http://moliere-in-english.com/bourgeois.html
 gives an excerpt
from an English translation, including this part.
- 8
-  Translator's note: The rules for French Tarot
can be found, for example, at
 Link 
 http://www.pagat.com/tarot/frtarot.html
 
- 9
-  Translator's note: Thanks to the new ``polymorphic
variants'' feature of Objective CAML 3.00, some other sum types can now be
extended as well