rock dust

noun

Definition of rock dust

(Entry 1 of 2)

: pulverulent rock (as shale or limestone) used in rock-dusting

— called also stone dust

rock-dust

transitive verb

Definition of rock-dust (Entry 2 of 2)

: to spread or distribute rock dust in (coal mine workings) to reduce the explosion hazard

Keep scrolling for more