Definition of rough file in English:

rough file

noun

  • A file with a deeply cut face; a coarse file.

Origin

Early 17th century.