English

edit

Noun

edit

varanodontine (plural varanodontines)

  1. Any extinct lizard of the former family †Varanodontinae (now called Varanopidae)