Buen día.
Tengo un par de consultas sobre el ejercicio 21 del práctico 4.
La primera es sobre la definición de AB. La única forma que se me ocurre de definir el constructor inductivo es crear una función auxiliar que me dé el máximo de las alturas de los dos subárboles que estoy componiendo (que dados m y n naturales compute el máximo, en definitiva).
La segunda consulta es sobre el cómputo de camino. Aquí similarmente veo que necesitaría otra función auxiliar que me diga cuál de los dos subárboles es más alto sabiendo su altura (una función predicado que dado m y n naturales indique si n <= m). Entiendo que el requerimiento "La función camino debe recorrer, en el cómputo, sólo un camino del árbol" significa que la función debe elegir el subárbol sin mirar sus contenidos, solamente utilizando como dato la altura en su "firma" (de otra forma tendría que recorrer cada camino posible para discernir el mayor).
Saludos.