graveler

Noun

graveler (plural gravelers)

1. One who deals, sells, or works with gravel
   • In time to pass muster as a gatherer of stones, a graveller, a roller of paths, or it may be a setter of pulse rows, (though by the mass I misdoubt the last, hugely), but never to be taken for what you have vainly boasted yourself […]1838, The Court magazine and belle assemblée [afterw.] and monthly critic and the Lady's magazine and museum, volume 13
2. A container filled with gravel or stones used as a filtration device
   • Alberger process Chemical Engineering, a process for manufacturing salt by heating brine under high pressure, then passing it to a graveler to remove calcium sulfate.1992, Christopher G. Morris, Academic Press, Academic Press Dictionary of Science and Technology, page 70
   • 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, We Family Publications and Consulting, Thou Shalt Not Abuse Thy Spouse, page 59