next up previous contents index
Next: Supprimer un élément à Up: Interface Previous: Ajouter un élément à   Contents   Index

Supprimer un élément au début

Cette opération supprime un élément au début de la double file. Elle prend un seul argument, une double file. Comme précondition, la double file ne doit pas être vide, comme indiqué par la fonction prévue pour cet effet. Cette opération renvoie une seule valeur, le premier élément de la file.



Robert STRANDH
2001-09-28