矿丁

基本解释：

---

1.旧时对矿工的称呼。