Code des opérateurs Appartenance à une liste ( appartient_l ) –Prototype: Bool appartient_l(type_el x, liste L) –Pré-conditions: aucunes. –Post-conditions: L est inchangée –Valeur retournée: VRAI si x se trouve dans L, FAUX sinon.
Code des opérateurs Inclusion stricte d'une liste dans une autre ( str_inclus_l ) –Prototype: Bool str_inclus_l(liste L1, liste L2) –Pré-conditions: aucunes. –Post-conditions: L1 et L2 sont inchangées –Valeur retournée: VRAI si L1 est incluse dans L2, FAUX sinon.
Code des opérateurs Vérifier qu'une liste est égale à une autre ( egal_l ) –Prototype: Bool egal_l(liste L1, liste L2) –Pré-conditions: aucunes. –Post-conditions: L1 et L2 sont inchangées –Valeur retournée: VRAI si L1 est égale à L2, FAUX sinon.