GRA'VER, noun [See Grave.] One who carves or engraves; one whose profession is to cut letters or figures in stone, etc.; a sculptor. 1. An engraving tool; an instrument for graving on hard substances.
Source: Webster's 1828 American Dictionary ↗ · public-domain · returned verbatim, no AI