input: def str_to_lower(string: str) -> str:
      """
      Convert a given string to its lowercase version.
      
      >>> str_to_lower("Hello World")
      'hello world'
      >>> str_to_lower("ThIs IS A TeSt")
      'this is a test'
      """
output:     return string.lower()