/// 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); }
/// refreshes the SequenceView at a given position in the sequence static void refresh(SequenceView& view, key_type index, cow_value_type value) { using adobe::refresh; refresh(view, index, value); }