A heavy iron tool, curved and sometimes pointed at both ends,
   wielded by means of a wooden handle inserted in the middle, -- used by
   quarrymen, roadmakers, etc.; also, a pointed hammer used for dressing
   millstones.