next up previous contents index
Next: Types sommes: types énumérés Up: Quelques éléments de Caml Previous: Copie de fichiers

Définitions de types


1/11/1998