Index of types


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