"forma de lagarto dominante") son una infraclase de saurópsidos diápsidos que surgió en el Pérmico medio y se diversificó en el Triásico.