Ophidia Brongniart, 1800
   Serpentes see Suborder Serpentes Linnaeus, 1758
     Alethinophidia Nopcsa, 1923 see Infraorder Alethinophidia Nopcsa, 1923
       Henophidia Hoffstetter, 1939 see Parvorder Henophidia Hoffstetter, 1939
         Bolyerioidea Hoffstetter, 1946
           1 Family Tropidophiidae Brongersma, 1951
           2 Family Bolyeriidae Hoffstetter, 1946
           3 Family Xenophidiidae Wallach & Günther, 1998 [monotypic]