List.iter print_endline (trier ( <= ) (mots_de_table table));
On trie la liste des mots sortis de la table de hachage selon le
prédicat binaire <=
, qui compare les
chaînes de caractères selon l'ordre lexicographique induit par le
codage ISO-8859-1 des caractères – autrement dit, les mots sont
classés dans l'ordre alphabétique, mis à part pour les caractères accentués
qui sont placés à la fin. Il serait bien évidemment possible de définir
une fonction de comparaison qui respecte l'ordre de classement usuel
des mots en français, mais ce serait un peu laborieux et nous ne le
ferons pas ici.
Petite note culturelle : l'ordre de classement alphabétique diffère d'une langue à l'autre, notamment en raison des caractères spéciaux et signes diacritiques (accents, trémas...). Voir les documentations informatiques diverses parlant du collating order.