Buenas,
Tengo una duda sobre lo que se pide en el ejercicio 12.4. Habla de generalizar las definiciones previas para usar un tipo genérico en vez de nat, pero el tipo de los AVL que se definen ya es genérico según lo que entiendo. El tipo nat solo está especificado para definir la altura del árbol, y ese no puede ser un tipo genérico porque no tendría sentido contar la altura en algo que no sea números naturales.
Se me ocurre que capaz lo que hay que hacer es similar a lo del ejercicio 8.6 (parametrizar el tipo de los elementos del árbol). Es así o estoy interpretando mal la letra?
Saludos,
Noelia.