ESIEE - Unité IN3ST02

Empiler : Element x Pile -> Pile Dépiler : Pile -> Pile - observateurs : EstVide : Pile
-> Booléen Hauteur : Pile -> EntierNaturel - fonction d'accès. Sommet : Pile -> ...

Part of the document