ostodolepid noun1 •Any of the extinct family †Ostodolepidae of tuditanomorph microsaurs. formsostodolepids