input: 
  def to_lower(string: str) -> str:
      """ Convert all characters of a string in lowercase.
      >>> to_lower("HELLO")
      'hello'
      >>> to_lower("THIS IS A TEST")
      'this is a test'
      """
  
output:     return string.lower()