let mots_de_table table = let liste = ref [] in Hashtbl.iter (fun mot _ -> liste := mot::!liste) table; !liste;;
La fonction Hashtbl.iter
itère une
fonction sur une table de hachage, c'est à dire que, si nous notons les
associations dans la table { x1 ↦
y1, ..., xn ↦ yn },
Hashtbl.iter f table
va exécuter (f x1
y1); ... ; (f xn
yn)
.
Ici, à chaque itération, on rajoute le mot en tête d'une liste, que
l'on retourne à la fin.