A  
Array [Res] 
Resizable parameterized array using the default reallocation strategy.

B  
BitDefStrat [Res] 
Same as
DefStrat , but the minimum size is 1024 elements (bits).

Bits [Res] 
Resizable bit vector using the default reallocation strategy.

Buffer [Res] 
Resizable buffer using the default reallocation strategy.

D  
DefStrat [Res] 
Default strategy for resizable datastructures

F  
Floats [Res] 
Resizable float array using the default reallocation strategy.

M  
Make [Weak_impl]  
Make [Pres_impl]  
Make [Nopres_impl]  
MakeArray [Res] 
Functor that creates resizable parameterized arrays from reallocation
strategies.

MakeBits [Res] 
Functor that creates resizable bit vectors from reallocation
strategies.

MakeBuffer [Res] 
Functor that creates resizable buffers (=string arrays) from
reallocation strategies.

MakeFloats [Res] 
Functor that creates resizable float arrays from reallocation
strategies.

MakeWeak [Res] 
Functor that creates resizable weak arrays from reallocation
strategies.

N  
Nopres_impl  
Nopres_intf 
Interfaces to unparameterized resizable arrays and buffers

P  
Pres_impl  
Pres_intf 
Interface to parameterized resizable arrays

R  
Res 
Global module for resizable datastructures and default implementations

S  
Strat 
Interface to strategies

Strategy [Weak_impl.Make]  
Strategy [Weak_intf.T] 
Module implementing the reallocation strategy

Strategy [Pres_intf.T] 
Module implementing the reallocation strategy

Strategy [Pres_impl.Make]  
Strategy [Nopres_intf.T] 
Module implementing the reallocation strategy

Strategy [Nopres_impl.Make]  
W  
Weak [Res] 
Resizable weak array using the default reallocation strategy.

Weak_impl  
Weak_intf 
Interface to weak resizable arrays
