A fossil reptile of S. Africa, allied to the crocodile, the lizard, and the tortoise, that had two large tusks in the upper jaw, like the walrus.