graveler

noun2

1. •
   One who deals, sells, or works with gravel
2. •
   A container filled with gravel or stones used as a filtration device

   • In the second step of the salt refining process the heated brine then goes into a graveler filled with cobblestones to remove the impurities. — 2006