stretch mill
noun Metalworking.
a mill for rolling and stretching seamless tubes, the rolls of each successive stand operating more quickly than those of the preceding.
Also called stretch reducing mill.
Dictionary.com Unabridged
Based on the Random House Unabridged Dictionary, © Random House, Inc. 2019