input: def to_lower(string: str) -> str:
      """
      Convert all characters of a given string to lowercase.
      
      >>> to_lower("HELLO")
      'hello'
      >>> to_lower("ThIs Is A tEsT")
      'this is a test'
      """
output:     return string.lower()