sand-crusher

from The Century Dictionary.

• noun A form of Chilian mill for breaking up sand to a uniform fineness, and washing it, to free it from foreign matters. It is employed especially in preparing sand for use in glass-manufacture.
• noun A revolving pan fitted with heavy crushing-rolls for crushing sand preparatory to using it in casting metals.