generada documentación de tipos abstractos de datos