rock duster

rock duster

[′räk ‚dəs·tər] (mining engineering) A machine that distributes rock dust over the interior surfaces of a coal mine by means of air to prevent coal dust explosions. Also known as rock dust distributor.