/// notifes the SequenceView of the elimination of elements from the sequence static void erase(SequenceView& view, const std::vector<key_type>& key_set) { using adobe::erase; erase(view, key_set); }
/// functional constraints for a model of the SequenceViewConcept void constraints() { refresh(*view, index, value); extend(*view, index, index, value); extend_set(*view, index, key_set); erase(*view, key_set); }