whole_func_string: function filenameExtensionFilter (ext) {
    if (typeof ext === 'string') {
      return (_, path) => path.endsWith('.' + ext);
    } else if (ext instanceof Array) {
      return ext
        .map(filenameExtensionFilter)
        .reduce(pcomp);
    }
  }
func_code_string: function filenameExtensionFilter (ext) {
    if (typeof ext === 'string') {
      return (_, path) => path.endsWith('.' + ext);
    } else if (ext instanceof Array) {
      return ext
        .map(filenameExtensionFilter)
        .reduce(pcomp);
    }
  }
func_documentation_string: return a predicate which matches files with the given extension(s);