Mill (grinding)
A grinding mill is a tool that is designed to break a solid material into smaller pieces.  There are many different types of grinding mills and many types of materials processed in them.