a man whose occupation is to sharpen the tools, weapons, etc. by rubbing or grinding; a whetter.