noun any of various extinct Triassic mammal-like reptiles having a single pair of tusklike teeth