What is to retire; to retreat; to quit a company or place; to go away; as, he withdrew from the company. "When the sea withdrew." King Horn called?

withdraw — To retire; to retreat; to quit a company or place; to go away; as, he withdrew from the company. "When the sea withdrew." King Horn. (Webster's 1913.)

Sources