diplocynodontid noun1 •Any extinct crocodilian of the subfamily Diplocynodontinae formsdiplocynodontids