/// 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); }