diamond mine definition

diamond mine means a mine at which diamonds are produced as part of the output of the mine; (“mine de diamants”)
View Source