1. Noun. Any of the extinct family Ostodolepidae of tuditanomorph microsaurs. ¹
¹ Source: wiktionary.com