a place of excavating, esp for ore, metals, or precious stonesmaterial dug outBrit, informal, dated lodgings