\Graver\, n.
1. One who graves; an engraver or a sculptor; one whose
occupation is te cut letters or figures in stone or other
hard material.
2. An ergraving or cutting tool; a burin.
Glossary
Definition:
a small pointed or chisel-like stone tool used for incising or engraving.
Webster's 1913 Dictionary