| | | Kind of type | Full locality |
| | | holotype of species Orophyllus nigrisartorius Xie, Wang & He, 2021 | China, China South-central, Guizhou: Leigongshan |
| | | paratype of species Orophyllus nigrisartorius Xie, Wang & He, 2021 | China, China South-central, Sichuan: Mount Emei |
| | | [not recorded as a type] | China, China South-central, Sichuan: Qingchengshan |