varanodontine

Noun

 * 1) Any extinct lizard of the former family † (now called )