input: from typing import Dict
  
  def delete_key(dic: Dict[str, int], k: str) -> None:
      """ Delete a given key from the dictionary.
      >>> dictionary = {'foo': 1, 'bar': 2, 'baz': 3}
      >>> delete_key(dictionary, 'baz')
      >>> print(dictionary)
      {'foo': 1, 'bar': 2}
      """
output:     if k in dic:
          del dic[k]