input: 
  def generate_string(string_length: int) -> str:
      """Generate a random string of the specified length.
      >>> generate_string(10)
      'aB3dF7Gh9J'
      """
  
output:     import random
      import string
  
      return ''.join(random.choices(string.ascii_letters + string.digits, k=string_length))