Función de un tipo de dato abstracto.