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