<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Strat" rel="Chapter" href="Strat.html"> <link title="Pres_intf" rel="Chapter" href="Pres_intf.html"> <link title="Nopres_intf" rel="Chapter" href="Nopres_intf.html"> <link title="Weak_intf" rel="Chapter" href="Weak_intf.html"> <link title="Res" rel="Chapter" href="Res.html"><title></title> </head> <body> <center><h1></h1></center> <a href="index_types.html">Index of types</a><br> <a href="index_values.html">Index of values</a><br> <a href="index_modules.html">Index of modules</a><br> <a href="index_module_types.html">Index of module types</a><br> <br/><br> <table class="indextable"> <tr><td><a href="Strat.html">Strat</a></td><td><div class="info"> Interface to strategies </div> </td></tr> <tr><td><a href="Pres_intf.html">Pres_intf</a></td><td><div class="info"> Interface to parameterized resizable arrays </div> </td></tr> <tr><td><a href="Nopres_intf.html">Nopres_intf</a></td><td><div class="info"> Interfaces to unparameterized resizable arrays and buffers </div> </td></tr> <tr><td><a href="Weak_intf.html">Weak_intf</a></td><td><div class="info"> Interface to weak resizable arrays </div> </td></tr> <tr><td><a href="Res.html">Res</a></td><td><div class="info"> Global module for resizable datastructures and default implementations </div> </td></tr> </table> </body> </html>