noun any mill that pulverizes, flattens, or otherwise changes material, as grain, by passing it between rolls.