What is "varanops"

Varanops is an extinct genus of Early Permian varanopid synapsid known from Texas and Oklahoma of the United States. It was first named by Samuel Wendell Williston in 1911 as a second species of Varanosaurus, Varanosaurus brevirostris. In 1914, Samuel W. Williston reassigned it to its own genus and the type species is Varanops brevirostris.