Superfamily Tropidophioidea Brongersma, 1951 Family Tropidophiidae Brongersma, 1951 Subfamily Tropidophiinae Brongersma, 1951 see Family Tropidophiidae Brongersma, 1951 Genus †Boavus Marsh, 1871