Noun
diplocynodontid (plural diplocynodontids) Any extinct crocodilian of the subfamily Diplocynodontinae