When something is deleted from the index, each index object should know how to handle itself being deleted. Like for a ClassIndex, it should know to remove itself from the indexed interfaces which implement it, and from the indexed traits which it imports. I think each index object should have a remove() method which can handle this as needed.
When something is deleted from the index, each index object should know how to handle itself being deleted. Like for a ClassIndex, it should know to remove itself from the indexed interfaces which implement it, and from the indexed traits which it imports. I think each index object should have a remove() method which can handle this as needed.