parameters: (name: str, dirs: List[str])
return_statement: return None
docstring: Find library file in one of provided directories. Return None
          if library cannot be found.
docstring_summary: Find library file in one of provided directories. Return None
          if library cannot be found.
docstring_tokens: Find library file in one of provided directories . Return None if library cannot be found .
function: def find_lib(name: str, dirs: List[str]) -> Optional[str]:
          """
          Find library file in one of provided directories. Return None
          if library cannot be found.
          """
          for d in dirs:
              path = os.path.join(d, name)
              if os.path.exists(path):
                  return path
          return None
function_tokens: def find_lib ( name : str , dirs : List [ str ] ) -> Optional [ str ] : for d in dirs : path = os . path . join ( d , name ) if os . path . exists ( path ) : return path return None