
[;1m  filename_all()[0m

  A file name as returned from [;;4mfile[0m API functions.

  See the documentation of the [;;4mname_all/0[0m type.
