Lexicon
Mill

_____________________________________________________

A mill is a device that breaks solid materials into smaller pieces by grinding, crushing, or cutting. Such comminution is an important unit operation in many processes. There are many different types of mills and many types of materials processed in them. Historically mills were powered by hand (e.g., via a hand crank), working animal (e.g., horse mill), wind (windmill) or water (watermill). Today they are usually powered by electricity.
(Wikipedia)

As building type

A building designed to house such a device.