| Strat |
Interface to strategies
|
| Pres_intf |
Interface to parameterized resizable arrays
|
| Nopres_intf |
Interfaces to unparameterized resizable arrays and buffers
|
| Weak_intf |
Interface to weak resizable arrays
|
| Res |
Global module for resizable datastructures and default implementations
|