Cette fonction a un seul paramètre : une pile. Elle renvoie l'objet qui est au sommet de la pile et supprime cet objet de la pile. C'est donc une fonction ayant à la fois un effet de bord et une valeur de retour. Il est possible d'utiliser la fonction sans récupérer la valeur de retour, uniquement pour son effet de bord.
Il y a une précondition pour cette fonction. La pile ne doit pas être vide, ce qui est indiqué par un appel à la fonction permettant ce test.