Noun
varanodontine (plural varanodontines) Any extinct lizard of the former family †Varanodontinae (now called Varanopidae)