input: from typing import List
  
  
  def string_length(strings: List[str]) -> List[int]:
      """ Given a list of strings, return a list of their lengths.
      >>> string_length(["Python", "Java", "C++"])
      [6, 4, 3]
      >>> string_length(["Hello", "World"])
      [5, 5]
      """
      return [len(s) for s in strings]
output:     return [len(s) for s in strings]