any of several varieties of mango trees whose fruits are excellent in quality.