Notes
Author: Christian.Queinnec@lip6.fr

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