A ball mill is a type of grinder used to grind materials into extremely fine powder for use in , Different materials are used as media, including ceramic balls, flint pebbles and stainless steel balls , A rock tumbler functions on the same principle.