Devices used to crush rock, usually in the context of the mining industry, either to extract ore or simply to break material into smaller pieces.