a factory for rolling metal into various shapes between rolls; a rolling mill.