docs: def delete_element(self, element):
          """Deletes an element (lazily).
  
          :raises: ValueError -- No such element in the priority queue.
  
          """
          if element not in self.element_finder:
              raise ValueError("No such element in the priority queue.")
          entry = self.element_finder[element]
          entry[1] = self.INVALID