stretch mill

noun Metalworking.
  1. 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. 2018