input: 
  def string_contains_number(string: str) -> bool:
      """ Check if a given string contains any numeric digits.
      >>> string_contains_number("Hello123")
      True
      >>> string_contains_number("Hello World")
      False
      """
      pattern = re.compile(r"[0-9]")
      return pattern.search(string) is not None
  
output:     for char in string:
          if char.isdigit():
              return True
      return False