Different kinds of hand files. The material has been made stronger with diamonds
A file is a tool. It is used to shape materials, by cutting away some of it. Today, files are usually made of a steel bar that has a rough surface. By rubbing the surface against a material, some of the material is cut away. There are also nail files used to shape a person's fingernails.