Rock dump definition

Rock dump means the historical accumulation of low grade material derived in the course of mining which is processed in order to take advantage of spare processing capacity;