code: def get_names(infos):
      
      names = []
      for x in infos:
          for y in x:
              names.append(y["name"][0])
      return names
docs: Get names of all parameters.
  
      Parameters
      ----------
      infos : list
          Content of the config header file.
  
      Returns
      -------
      names : list
          Names of all parameters.