(Eiffel reserva "argumento" para las rutinas, y utiliza "parámetro" solo para las clases genéricas.) Con esta declaración codice_6 representa dentro de la clase un tipo arbitrario, para el que una función puede retornar un valor de tipo codice_6, y una rutina puede tener un argumento de este tipo: