Alethinophidia is an infraorder of . There are 4492 species of Alethinophidia, in 613 genera and 34 families.