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.