Ophidia Brongniart, 1800 Serpentes see Suborder Serpentes Linnaeus, 1758 Alethinophidia Nopcsa, 1923 see Infraorder Alethinophidia Nopcsa, 1923 Caenophidia Hoffstetter, 1939 Elapoidea Boie, 1827 see Superfamily Colubroidea Oppel, 1811 Family Prosymnidae Kelly et al., 2009 see Subfamily Prosymninae