Micraroter

Micraroter is an extinct genus of microsaur within the family Ostodolepidae.