a. A device that releases a large quantity of inert dust in the air in the
path of an explosion, extinguishing the flame. Rice, 2
b. A series of troughs or shelves laden with rock dust and so arranged
that the air waves from an explosion will trip them and fill the air with
rock dust and thus quench the flame of exploding coal dust.
Dictionary of Mining, Mineral, and Related Terms