Noun
ophiderpetontid (plural ophiderpetontids) (zoology) Any tetrapod in the family Ophiderpetontidae.