Noun
ostodolepid (plural ostodolepids) Any of the extinct family Ostodolepidae of tuditanomorph microsaurs.