# Extensible Associative Sequence

### Description

An Extensible Associative Sequence is an Associative Sequence that supports insertion and removal of elements. In contrast to Extensible Sequence, Extensible Associative Sequence does not provide a mechanism for inserting an element at a specific position.

Refinement of

Associative Sequence

### Valid expressions

Expression | Expression type
--- | ---
`typename clear<s>::type` | A model of concept of `s`
`typename insert<s,t>::type` | A model of concept of `s`
`typename remove<s,k>::type` | A model of concept of `s`

### Expression semantics

TODO.

### Invariants

For any associative sequence `s` the following invariants always hold:

- TODO

### Models

- `set`
- `map`
- `set_c`

### Notes

### See also

Sequences, Forward Sequence, Associative Sequence

Table of Contents
Last edited May 2, 2003 8:24 am