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.