Q9: dernier

Profil

dernier: liste -> typelt

Exemples

dernier( () ) = Erreur
dernier( (a) ) = a
dernier( (a b c) ) = c

dernier est le premier de la liste renverser:

dernier( (a b c) ) 
 =  prem( (c b a) ) 
 =  prem(renverser( (a b c) )

Axiomes

dernier(L) = prem(renverser(L) )

Traduction en C

TYPEELT dernier(liste L)
{
  return prem(renverserI(L));
}