Il suffit de placer le code précédent dans un fichier pile.ml et de définir l'interface suivante dans une fichier pile.mli.

pile.mli

type 'a pile val créer : unit -> 'a pile exception Vide val ajouter : 'a -> 'a pile -> unit val retirer : 'a pile -> 'a