any of various reptiles of the suborder Sauria which includes lizards; in former classifications included also the crocodiles and dinosaurs