input: 
  from typing import List
  
  
  def string_length(strings: List[str]) -> List[int]:
      """ Given a list of strings, return a list of integers where each integer is the length of the corresponding string in the input list.
      >>> string_length(["Python", "Java", "C++"])
      [6, 4, 3]
      """
  
output:     lengths = []
      for s in strings:
          lengths.append(len(s))
      return lengths