E | |
| el [Nopres_intf.T] |
Type of the elements in the resizable array
|
S | |
| strategy [Pres_intf.T] |
Type of reallocation strategy
|
| strategy [Nopres_intf.T] |
Type of reallocation strategy
|
T | |
| t [Pres_intf.T] |
Type of parameterized resizable arrays
|
| t [Strat.T] |
The abstract type of strategies.
|
| t [Nopres_intf.T] |
Type of resizable arrays
|