矿丁

1.旧时对矿工的称呼。