tools with a roughened surface, used or smoothing or shaping a hard material (1. flat file, 2. triangular file, 3. round file with handle)
» English course glossary