hola belen
debes prestar atención a cómo se comportan y se interrelacionan los argumentos
de la función. por ejemplo, en el primer caso el programa es un if-then-else,
y el resultado debe tener el mismo tipo independientemente de si se ejecuta
el then o el else. es decir, el tipo de (... completa) debe coincidir con el
de (...). además, algunos argumentos deben compararse con la igualdad, así
que deben estar en la clase (...). finalmente, la comparación muestra que
los tipos de (...) y de (...) deben coincidir.
no te confundas con los nombres usados. las letras a, b y c en la definicion de la funcion son
argumentos, pero en la declaracion son tipos.
luis