煤巷掘进机是掘进煤巷用的。