Mill

To subject to an operation or process in a mill; to grind.

To shape or dress by means of instruments.