\contentsline {section}{\numberline {1}Module {\tt {Strat}} : Interface to strategies}{1} \contentsline {section}{\numberline {2}Module {\tt {Pres\_intf}} : Interface to parameterized resizable arrays}{2} \contentsline {section}{\numberline {3}Module {\tt {Nopres\_intf}} : Interfaces to unparameterized resizable arrays and buffers}{8} \contentsline {section}{\numberline {4}Module {\tt {Weak\_intf}} : Interface to weak resizable arrays}{17} \contentsline {section}{\numberline {5}Module {\tt {Res}} : Global module for resizable datastructures and default implementations}{23}