<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>Index of values</title>
</head>
<body>
<center><h1>Index of values</h1></center>
<table>
<tr><td align="left"><br>A</td></tr>
<tr><td><a href="Nopres_intf.Buffer.html#VALadd_buffer">add_buffer</a> [<a href="Nopres_intf.Buffer.html">Nopres_intf.Buffer</a>]</td>
<td><div class="info">
<code class="code">add_buffer b1 b2</code> appends the current contents of buffer <code class="code">b2</code>
at the end of buffer <code class="code">b1</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.Buffer.html#VALadd_channel">add_channel</a> [<a href="Nopres_intf.Buffer.html">Nopres_intf.Buffer</a>]</td>
<td><div class="info">
<code class="code">add_channel b ic n</code> reads exactly <code class="code">n</code> character from the
input channel <code class="code">ic</code> and stores them at the end of buffer <code class="code">b</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.Buffer.html#VALadd_char">add_char</a> [<a href="Nopres_intf.Buffer.html">Nopres_intf.Buffer</a>]</td>
<td><div class="info">
<code class="code">add_char b c</code> appends the character <code class="code">c</code> at the end of
the buffer <code class="code">b</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.Buffer.html#VALadd_full_channel">add_full_channel</a> [<a href="Nopres_intf.Buffer.html">Nopres_intf.Buffer</a>]</td>
<td></td></tr>
<tr><td><a href="Nopres_intf.Buffer.html#VALadd_full_channel_f">add_full_channel_f</a> [<a href="Nopres_intf.Buffer.html">Nopres_intf.Buffer</a>]</td>
<td></td></tr>
<tr><td><a href="Weak_intf.T.html#VALadd_one">add_one</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">add_one ra el</code> adds element <code class="code">el</code> to resizable array <code class="code">ra</code>,
possibly causing a reallocation.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALadd_one">add_one</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">add_one ra el</code> adds element <code class="code">el</code> to resizable array <code class="code">ra</code>,
possibly causing a reallocation.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALadd_one">add_one</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">add_one ra el</code> adds element <code class="code">el</code> to resizable array <code class="code">ra</code>,
possibly causing a reallocation.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.Buffer.html#VALadd_string">add_string</a> [<a href="Nopres_intf.Buffer.html">Nopres_intf.Buffer</a>]</td>
<td><div class="info">
<code class="code">add_string b s</code> appends the string <code class="code">s</code> at the end of
the buffer <code class="code">b</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.Buffer.html#VALadd_substring">add_substring</a> [<a href="Nopres_intf.Buffer.html">Nopres_intf.Buffer</a>]</td>
<td><div class="info">
<code class="code">add_substring b s ofs len</code> takes <code class="code">len</code> characters from offset
<code class="code">ofs</code> in string <code class="code">s</code> and appends them at the end of the buffer
<code class="code">b</code>.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALappend">append</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">append ra1 ra2</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALappend">append</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">append ra1 ra2</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALappend">append</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">append ra1 ra2</code>
</div>
</td></tr>
<tr><td align="left"><br>B</td></tr>
<tr><td><a href="Weak_intf.T.html#VALblit">blit</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">blit ra1 ofs1 ra2 ofs2 len</code> blits resizable array <code class="code">ra1</code> onto
<code class="code">ra2</code> reading <code class="code">len</code> elements from offset <code class="code">ofs1</code> and writing them
to <code class="code">ofs2</code>, possibly adding elements at the end of ra2.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALblit">blit</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">blit ra1 ofs1 ra2 ofs2 len</code> blits resizable array <code class="code">ra1</code> onto
<code class="code">ra2</code> reading <code class="code">len</code> elements from offset <code class="code">ofs1</code> and writing them
to <code class="code">ofs2</code>, possibly adding elements at the end of ra2.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALblit">blit</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">blit ra1 ofs1 ra2 ofs2 len</code> blits resizable array <code class="code">ra1</code> onto
<code class="code">ra2</code> reading <code class="code">len</code> elements from offset <code class="code">ofs1</code> and writing them
to <code class="code">ofs2</code>, possibly adding elements at the end of ra2.
</div>
</td></tr>
<tr><td align="left"><br>C</td></tr>
<tr><td><a href="Weak_intf.T.html#VALcheck">check</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">check ra n</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALclear">clear</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">clear ra</code> removes all elements from resizable array <code class="code">ra</code>,
possibly causing a reallocation.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALclear">clear</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">clear ra</code> removes all elements from resizable array <code class="code">ra</code>,
possibly causing a reallocation.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALclear">clear</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">clear ra</code> removes all elements from resizable array <code class="code">ra</code>,
possibly causing a reallocation.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALconcat">concat</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">concat l</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALconcat">concat</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">concat l</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALconcat">concat</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">concat l</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.Buffer.html#VALcontents">contents</a> [<a href="Nopres_intf.Buffer.html">Nopres_intf.Buffer</a>]</td>
<td><div class="info">
<code class="code">contents b</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALcopy">copy</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">copy ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALcopy">copy</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">copy ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALcopy">copy</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">copy ra</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALcreate">create</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">create n</code> same as <code class="code">screate</code> but uses default strategy.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALcreate">create</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">create n</code> same as <code class="code">screate</code> but uses default strategy.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALcreate">create</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">create n el</code> same as <code class="code">screate</code> but uses default strategy.
</div>
</td></tr>
<tr><td align="left"><br>D</td></tr>
<tr><td><a href="Strat.T.html#VALdefault">default</a> [<a href="Strat.T.html">Strat.T</a>]</td>
<td><div class="info">
Default strategy of this strategy implementation.
</div>
</td></tr>
<tr><td align="left"><br>E</td></tr>
<tr><td><a href="Weak_intf.T.html#VALempty">empty</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">empty ()</code> same as <code class="code">sempty</code> but uses default strategy.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALempty">empty</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">empty ()</code> same as <code class="code">sempty</code> but uses default strategy.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALempty">empty</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">empty ()</code> same as <code class="code">sempty</code> but uses default strategy.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALenforce_strategy">enforce_strategy</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">enforce_strategy ra</code> forces a reallocation if necessary
(e.g.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALenforce_strategy">enforce_strategy</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">enforce_strategy ra</code> forces a reallocation if necessary
(e.g.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALenforce_strategy">enforce_strategy</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">enforce_strategy ra</code> forces a reallocation if necessary
(e.g.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALexists">exists</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">exists p ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALexists">exists</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">exists p ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALexists">exists</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">exists p ra</code>
</div>
</td></tr>
<tr><td align="left"><br>F</td></tr>
<tr><td><a href="Weak_intf.T.html#VALfill">fill</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">fill ra ofs len el</code> fills resizable array <code class="code">ra</code> from offset
<code class="code">ofs</code> with <code class="code">len</code> elements <code class="code">el</code>, possibly adding elements at the
end.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALfill">fill</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">fill ra ofs len el</code> fills resizable array <code class="code">ra</code> from offset
<code class="code">ofs</code> with <code class="code">len</code> elements <code class="code">el</code>, possibly adding elements at the
end.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALfill">fill</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">fill ra ofs len el</code> fills resizable array <code class="code">ra</code> from offset
<code class="code">ofs</code> with <code class="code">len</code> elements <code class="code">el</code>, possibly adding elements at the
end.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALfilter">filter</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">filter p ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALfilter">filter</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">filter p ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALfilter">filter</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">filter p ra</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALfilter_in_place">filter_in_place</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">filter_in_place p ra</code> as <code class="code">filter</code>, but filters in place.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALfilter_in_place">filter_in_place</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">filter_in_place p ra</code> as <code class="code">filter</code>, but filters in place.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALfilter_in_place">filter_in_place</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">filter_in_place p ra</code> as <code class="code">filter</code>, but filters in place.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALfind">find</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">find p ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALfind">find</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">find p ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALfind">find</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">find p ra</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALfind_all">find_all</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">find_all p ra</code> is the same as <code class="code">filter</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALfind_all">find_all</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">find_all p ra</code> is the same as <code class="code">filter</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALfind_all">find_all</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">find_all p ra</code> is the same as <code class="code">filter</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALfind_index">find_index</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">find_index p ra pos</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALfind_index">find_index</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">find_index p ra pos</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALfind_index">find_index</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">find_index p ra pos</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALfold_left">fold_left</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">fold_left f a ra</code> left-folds values in resizable array <code class="code">ra</code>
using function <code class="code">f</code> and start accumulator <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALfold_left">fold_left</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">fold_left f a ra</code> left-folds values in resizable array <code class="code">ra</code>
using function <code class="code">f</code> and start accumulator <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALfold_left">fold_left</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">fold_left f a ra</code> left-folds values in resizable array <code class="code">ra</code>
using function <code class="code">f</code> and start accumulator <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALfold_right">fold_right</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">fold_right f a ra</code> right-folds values in resizable array <code class="code">ra</code>
using function <code class="code">f</code> and start accumulator <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALfold_right">fold_right</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">fold_right f a ra</code> right-folds values in resizable array <code class="code">ra</code>
using function <code class="code">f</code> and start accumulator <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALfold_right">fold_right</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">fold_right f a ra</code> right-folds values in resizable array <code class="code">ra</code>
using function <code class="code">f</code> and start accumulator <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALfor_all">for_all</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">for_all p ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALfor_all">for_all</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">for_all p ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALfor_all">for_all</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">for_all p ra</code>
</div>
</td></tr>
<tr><td align="left"><br>G</td></tr>
<tr><td><a href="Weak_intf.T.html#VALget">get</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">get ra n</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALget">get</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">get ra n</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALget">get</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">get ra n</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALget_copy">get_copy</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">get_copy ra n</code> see documentation of module <code class="code">Weak</code> in the standard
distribution.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALget_strategy">get_strategy</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">get_strategy ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALget_strategy">get_strategy</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">get_strategy ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALget_strategy">get_strategy</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">get_strategy ra</code>
</div>
</td></tr>
<tr><td><a href="Strat.T.html#VALgrow">grow</a> [<a href="Strat.T.html">Strat.T</a>]</td>
<td><div class="info">
<code class="code">grow strat new_len</code>
</div>
</td></tr>
<tr><td align="left"><br>I</td></tr>
<tr><td><a href="Weak_intf.T.html#VALinit">init</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">init n f</code> sames as <code class="code">sinit</code> but uses default strategy.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALinit">init</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">init n f</code> sames as <code class="code">sinit</code> but uses default strategy.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALinit">init</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">init n f</code> sames as <code class="code">sinit</code> but uses default strategy.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALiter">iter</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">iter f ra</code> applies the unit-function <code class="code">f</code> to each element in
resizable array <code class="code">ra</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALiter">iter</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">iter f ra</code> applies the unit-function <code class="code">f</code> to each element in
resizable array <code class="code">ra</code>.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALiter">iter</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">iter f ra</code> applies the unit-function <code class="code">f</code> to each element in
resizable array <code class="code">ra</code>.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALiteri">iteri</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">iteri f ra</code> applies the unit-function <code class="code">f</code> to each index and
element in resizable array <code class="code">ra</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALiteri">iteri</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">iteri f ra</code> applies the unit-function <code class="code">f</code> to each index and
element in resizable array <code class="code">ra</code>.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALiteri">iteri</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">iteri f ra</code> applies the unit-function <code class="code">f</code> to each index and
element in resizable array <code class="code">ra</code>.
</div>
</td></tr>
<tr><td align="left"><br>L</td></tr>
<tr><td><a href="Weak_intf.T.html#VALlength">length</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">length ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALlength">length</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">length ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALlength">length</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">length ra</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALlix">lix</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">lix ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALlix">lix</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">lix ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALlix">lix</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">lix ra</code>
</div>
</td></tr>
<tr><td align="left"><br>M</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALmake">make</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">make n el</code> same as <code class="code">smake</code> but uses default strategy.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALmake">make</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">make n el</code> same as <code class="code">create</code>.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALmake_matrix">make_matrix</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">make_matrix sx sy el</code> creates a (resizable) matrix of
dimensions <code class="code">sx</code> and <code class="code">sy</code> containing element <code class="code">el</code> only.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALmap">map</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">map f ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALmap">map</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">map f ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALmapi">mapi</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">mapi f ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALmapi">mapi</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">mapi f ra</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALmem">mem</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">mem el ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALmem">mem</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">mem el ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALmem">mem</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">mem el ra</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALmemq">memq</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">memq el ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALmemq">memq</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">memq el ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALmemq">memq</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">memq el ra</code>
</div>
</td></tr>
<tr><td align="left"><br>O</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALof_array">of_array</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">of_array ar</code> converts a standard array to a resizable one
using the default strategy.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALof_array">of_array</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">of_array ar</code> converts a standard array to a resizable one
using the default strategy.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALof_list">of_list</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">of_list l</code> creates a resizable array using the default
strategy and the elements in list <code class="code">l</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALof_list">of_list</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">of_list l</code> creates a resizable array using the default
strategy and the elements in list <code class="code">l</code>.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALof_list">of_list</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">of_list l</code> creates a resizable array using the default
strategy and the elements in list <code class="code">l</code>.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALof_std">of_std</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">of_std ar</code> converts a standard weak array to a resizable one
using the default strategy.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.Buffer.html#VALof_string">of_string</a> [<a href="Nopres_intf.Buffer.html">Nopres_intf.Buffer</a>]</td>
<td><div class="info">
<code class="code">of_string ar</code> converts a string to a resizable buffer using
the default strategy.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.Buffer.html#VALoutput_buffer">output_buffer</a> [<a href="Nopres_intf.Buffer.html">Nopres_intf.Buffer</a>]</td>
<td><div class="info">
<code class="code">output_buffer oc b</code> writes the current contents of buffer <code class="code">b</code>
on the output channel <code class="code">oc</code>.
</div>
</td></tr>
<tr><td align="left"><br>P</td></tr>
<tr><td><a href="Weak_intf.T.html#VALpartition">partition</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">partition p ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALpartition">partition</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">partition p ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALpartition">partition</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">partition p ra</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALpos">pos</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">pos el ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALpos">pos</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">pos el ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALpos">pos</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">pos el ra</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALposq">posq</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">posq el ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALposq">posq</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">posq el ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALposq">posq</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">posq el ra</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALput_strategy">put_strategy</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">put_strategy ra s</code> sets the reallocation strategy of
resizable array <code class="code">ra</code> to <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALput_strategy">put_strategy</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">put_strategy ra s</code> sets the reallocation strategy of
resizable array <code class="code">ra</code> to <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALput_strategy">put_strategy</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">put_strategy ra s</code> sets the reallocation strategy of
resizable array <code class="code">ra</code> to <code class="code">s</code>.
</div>
</td></tr>
<tr><td align="left"><br>R</td></tr>
<tr><td><a href="Weak_intf.T.html#VALreal_length">real_length</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">real_length ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALreal_length">real_length</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">real_length ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALreal_length">real_length</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">real_length ra</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALreal_lix">real_lix</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">real_lix ra</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALreal_lix">real_lix</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">real_lix ra</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALreal_lix">real_lix</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">real_lix ra</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALremove_n">remove_n</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">remove_n ra n</code> removes the last n elements of resizable
array <code class="code">ra</code>, possibly causing a reallocation.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALremove_n">remove_n</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">remove_n ra n</code> removes the last n elements of resizable
array <code class="code">ra</code>, possibly causing a reallocation.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALremove_n">remove_n</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">remove_n ra n</code> removes the last n elements of resizable
array <code class="code">ra</code>, possibly causing a reallocation.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALremove_one">remove_one</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">remove_one ra</code> removes the last element of resizable array
<code class="code">ra</code>, possibly causing a reallocation.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALremove_one">remove_one</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">remove_one ra</code> removes the last element of resizable array
<code class="code">ra</code>, possibly causing a reallocation.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALremove_one">remove_one</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">remove_one ra</code> removes the last element of resizable array
<code class="code">ra</code>, possibly causing a reallocation.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALremove_range">remove_range</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">remove_range ra ofs len</code> removes <code class="code">len</code> elements from resizable
array <code class="code">ra</code> starting at <code class="code">ofs</code> and possibly causing a
reallocation.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALremove_range">remove_range</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">remove_range ra ofs len</code> removes <code class="code">len</code> elements from resizable
array <code class="code">ra</code> starting at <code class="code">ofs</code> and possibly causing a
reallocation.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALremove_range">remove_range</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">remove_range ra ofs len</code> removes <code class="code">len</code> elements from resizable
array <code class="code">ra</code> starting at <code class="code">ofs</code> and possibly causing a
reallocation.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.Buffer.html#VALreset">reset</a> [<a href="Nopres_intf.Buffer.html">Nopres_intf.Buffer</a>]</td>
<td><div class="info">
<code class="code">reset b</code> just clears the buffer, possibly resizing it.
</div>
</td></tr>
<tr><td align="left"><br>S</td></tr>
<tr><td><a href="Weak_intf.T.html#VALscreate">screate</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">screate s n el</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALscreate">screate</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">screate s n</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALscreate">screate</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">screate s n el</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALsempty">sempty</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">sempty s</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALsempty">sempty</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">sempty s</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALsempty">sempty</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">sempty s</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALset">set</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">set ra n</code> sets the <code class="code">n</code>th element of <code class="code">ra</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALset">set</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">set ra n</code> sets the <code class="code">n</code>th element of <code class="code">ra</code>.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALset">set</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">set ra n</code> sets the <code class="code">n</code>th element of <code class="code">ra</code>.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALset_strategy">set_strategy</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">set_strategy ra s</code> sets the reallocation strategy of
resizable array <code class="code">ra</code> to <code class="code">s</code>, possibly causing an immediate
reallocation.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALset_strategy">set_strategy</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">set_strategy ra s</code> sets the reallocation strategy of
resizable array <code class="code">ra</code> to <code class="code">s</code>, possibly causing an immediate
reallocation.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALset_strategy">set_strategy</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">set_strategy ra s</code> sets the reallocation strategy of
resizable array <code class="code">ra</code> to <code class="code">s</code>, possibly causing an immediate
reallocation.
</div>
</td></tr>
<tr><td><a href="Strat.T.html#VALshrink">shrink</a> [<a href="Strat.T.html">Strat.T</a>]</td>
<td><div class="info">
<code class="code">shrink strat ~real_len ~new_len</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALsinit">sinit</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">sinit s n f</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALsinit">sinit</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">sinit s n f</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALsinit">sinit</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">sinit s n f</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALsmake">smake</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">smake s n el</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALsmake">smake</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">smake s n el</code> same as <code class="code">screate</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALsof_array">sof_array</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">sof_array s ar</code> converts a standard array to a resizable one,
using strategy <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALsof_array">sof_array</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">sof_array s ar</code> converts a standard array to a resizable one,
using strategy <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALsof_list">sof_list</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">sof_list s l</code> creates a resizable array using strategy <code class="code">s</code> and
the elements in list <code class="code">l</code>.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALsof_list">sof_list</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">sof_list s l</code> creates a resizable array using strategy <code class="code">s</code> and
the elements in list <code class="code">l</code>.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALsof_std">sof_std</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">sof_std s ar</code> converts a standard weak array to a resizable
one, using strategy <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.Buffer.html#VALsof_string">sof_string</a> [<a href="Nopres_intf.Buffer.html">Nopres_intf.Buffer</a>]</td>
<td><div class="info">
<code class="code">sof_string s ar</code> converts a string to a resizable buffer
using strategy <code class="code">s</code>.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALsub">sub</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">sub ra ofs len</code>
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALsub">sub</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">sub ra ofs len</code>
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALsub">sub</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">sub ra ofs len</code>
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALswap">swap</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">swap ra n m</code> swaps elements at indices <code class="code">n</code> and <code class="code">m</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALswap">swap</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">swap ra n m</code> swaps elements at indices <code class="code">n</code> and <code class="code">m</code>.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALswap">swap</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">swap ra n m</code> swaps elements at indices <code class="code">n</code> and <code class="code">m</code>.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALswap_in_last">swap_in_last</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">swap_in_last ra n</code> swaps the last element with the one at
position <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALswap_in_last">swap_in_last</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">swap_in_last ra n</code> swaps the last element with the one at
position <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALswap_in_last">swap_in_last</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">swap_in_last ra n</code> swaps the last element with the one at
position <code class="code">n</code>.
</div>
</td></tr>
<tr><td align="left"><br>T</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALto_array">to_array</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">to_array ra</code> converts a resizable array to a standard one.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALto_array">to_array</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">to_array ra</code> converts a resizable array to a standard one.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALto_list">to_list</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">to_list ra</code> converts resizable array <code class="code">ra</code> to a list.
</div>
</td></tr>
<tr><td><a href="Nopres_intf.T.html#VALto_list">to_list</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td><div class="info">
<code class="code">to_list ra</code> converts resizable array <code class="code">ra</code> to a list.
</div>
</td></tr>
<tr><td><a href="Pres_intf.T.html#VALto_list">to_list</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td><div class="info">
<code class="code">to_list ra</code> converts resizable array <code class="code">ra</code> to a list.
</div>
</td></tr>
<tr><td><a href="Weak_intf.T.html#VALto_std">to_std</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td><div class="info">
<code class="code">to_std ra</code> converts a resizable weak array to a standard one.
</div>
</td></tr>
<tr><td align="left"><br>U</td></tr>
<tr><td><a href="Weak_intf.T.html#VALunsafe_blit">unsafe_blit</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Nopres_intf.T.html#VALunsafe_blit">unsafe_blit</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Pres_intf.T.html#VALunsafe_blit">unsafe_blit</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Weak_intf.T.html#VALunsafe_fill">unsafe_fill</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Nopres_intf.T.html#VALunsafe_fill">unsafe_fill</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Pres_intf.T.html#VALunsafe_fill">unsafe_fill</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Weak_intf.T.html#VALunsafe_get">unsafe_get</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Nopres_intf.T.html#VALunsafe_get">unsafe_get</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Pres_intf.T.html#VALunsafe_get">unsafe_get</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Weak_intf.T.html#VALunsafe_remove_n">unsafe_remove_n</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Nopres_intf.T.html#VALunsafe_remove_n">unsafe_remove_n</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Pres_intf.T.html#VALunsafe_remove_n">unsafe_remove_n</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Weak_intf.T.html#VALunsafe_remove_one">unsafe_remove_one</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Nopres_intf.T.html#VALunsafe_remove_one">unsafe_remove_one</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Pres_intf.T.html#VALunsafe_remove_one">unsafe_remove_one</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Weak_intf.T.html#VALunsafe_set">unsafe_set</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Nopres_intf.T.html#VALunsafe_set">unsafe_set</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Pres_intf.T.html#VALunsafe_set">unsafe_set</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Weak_intf.T.html#VALunsafe_sub">unsafe_sub</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Nopres_intf.T.html#VALunsafe_sub">unsafe_sub</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Pres_intf.T.html#VALunsafe_sub">unsafe_sub</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Weak_intf.T.html#VALunsafe_swap">unsafe_swap</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Nopres_intf.T.html#VALunsafe_swap">unsafe_swap</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Pres_intf.T.html#VALunsafe_swap">unsafe_swap</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Weak_intf.T.html#VALunsafe_swap_in_last">unsafe_swap_in_last</a> [<a href="Weak_intf.T.html">Weak_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Nopres_intf.T.html#VALunsafe_swap_in_last">unsafe_swap_in_last</a> [<a href="Nopres_intf.T.html">Nopres_intf.T</a>]</td>
<td></td></tr>
<tr><td><a href="Pres_intf.T.html#VALunsafe_swap_in_last">unsafe_swap_in_last</a> [<a href="Pres_intf.T.html">Pres_intf.T</a>]</td>
<td></td></tr>
</table><br>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
14f9d1392cdb31b82b42df8a6fcda1e4
>
files
>
66
