\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.