Different kinds of hand files. The material has been made stronger with diamonds.
Detail of a file
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.