Uses of Class
patron.NotEmpty

Packages that use NotEmpty

patron

Uses of NotEmpty in patron

Methods in patron that return NotEmpty

NotEmpty	List.cons(int e) ajoute en tete d'une liste.
NotEmpty	NotEmpty.putLast(int e) ajout a la fin purement fonctionnelle.
abstract NotEmpty	List.putLast(int e) ajout a la fin purement fonctionnelle.
NotEmpty	Empty.putLast(int e) ajout a la fin.