<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=utf-8" 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="Crdt" rel="Chapter" href="Crdt.html">
<link title="I_IntVector" rel="Chapter" href="I_IntVector.html">
<link title="I_GCounter" rel="Chapter" href="I_GCounter.html">
<link title="I_PNCounter" rel="Chapter" href="I_PNCounter.html">
<link title="I_GSet" rel="Chapter" href="I_GSet.html">
<link title="I_ORSet" rel="Chapter" href="I_ORSet.html">
<link title="I_USet" rel="Chapter" href="I_USet.html">
<link title="Immutable_types" rel="Chapter" href="Immutable_types.html">
<link title="M_GCounter" rel="Chapter" href="M_GCounter.html">
<link title="M_GSet" rel="Chapter" href="M_GSet.html">
<link title="M_IntVector" rel="Chapter" href="M_IntVector.html">
<link title="M_ORSet" rel="Chapter" href="M_ORSet.html">
<link title="M_PNCounter" rel="Chapter" href="M_PNCounter.html">
<link title="M_USet" rel="Chapter" href="M_USet.html">
<link title="Mutable_types" rel="Chapter" href="Mutable_types.html"><title>Index of values</title>
</head>
<body>
<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
&nbsp;</div>
<h1>Index of values</h1>
<table>
<tr><td align="left"><br>A</td></tr>
<tr><td><a href="Immutable_types.GSet.html#VALadd">add</a> [<a href="Immutable_types.GSet.html">Immutable_types.GSet</a>]</td>
<td><div class="info">
<code class="code">add el t</code> adds <code class="code">el</code> to <code class="code">t</code>.
</div>
</td></tr>
<tr><td><a href="Mutable_types.GSet.html#VALadd">add</a> [<a href="Mutable_types.GSet.html">Mutable_types.GSet</a>]</td>
<td><div class="info">
<code class="code">add el t</code> adds <code class="code">el</code> in-place to <code class="code">t</code>.
</div>
</td></tr>
<tr><td align="left"><br>D</td></tr>
<tr><td><a href="Mutable_types.DCounter.html#VALdecr">decr</a> [<a href="Mutable_types.DCounter.html">Mutable_types.DCounter</a>]</td>
<td><div class="info">
<code class="code">decr t</code> decrements the position associated with the <code class="code">numsite</code> of <code class="code">t</code>.
</div>
</td></tr>
<tr><td><a href="Immutable_types.DCounter.html#VALdecr">decr</a> [<a href="Immutable_types.DCounter.html">Immutable_types.DCounter</a>]</td>
<td><div class="info">
<code class="code">decr t</code> decrements the position associated with the <code class="code">numsite</code> of <code class="code">t</code>.
</div>
</td></tr>
<tr><td align="left"><br>I</td></tr>
<tr><td><a href="Mutable_types.IVector.html#VALincr">incr</a> [<a href="Mutable_types.IVector.html">Mutable_types.IVector</a>]</td>
<td><div class="info">
<code class="code">incr t</code> increments the position associated with the <code class="code">numsite</code> of <code class="code">t</code>.
</div>
</td></tr>
<tr><td><a href="Immutable_types.IVector.html#VALincr">incr</a> [<a href="Immutable_types.IVector.html">Immutable_types.IVector</a>]</td>
<td><div class="info">
<code class="code">incr t</code> increments the position associated with the <code class="code">numsite</code> of <code class="code">t</code>.
</div>
</td></tr>
<tr><td align="left"><br>L</td></tr>
<tr><td><a href="Immutable_types.GSet.html#VALlookup">lookup</a> [<a href="Immutable_types.GSet.html">Immutable_types.GSet</a>]</td>
<td><div class="info">
<code class="code">lookup el t</code> returns true if <code class="code">el</code> is in <code class="code">t</code>.
</div>
</td></tr>
<tr><td><a href="Mutable_types.GSet.html#VALlookup">lookup</a> [<a href="Mutable_types.GSet.html">Mutable_types.GSet</a>]</td>
<td><div class="info">
<code class="code">lookup el t</code> returns true if <code class="code">el</code> is in <code class="code">t</code>.
</div>
</td></tr>
<tr><td align="left"><br>M</td></tr>
<tr><td><a href="Mutable_types.Mergeable.html#VALmake">make</a> [<a href="Mutable_types.Mergeable.html">Mutable_types.Mergeable</a>]</td>
<td><div class="info">
Create a new mergeable element.
</div>
</td></tr>
<tr><td><a href="Immutable_types.Mergeable.html#VALmake">make</a> [<a href="Immutable_types.Mergeable.html">Immutable_types.Mergeable</a>]</td>
<td><div class="info">
Create a new mergeable element.
</div>
</td></tr>
<tr><td><a href="Mutable_types.IVector.html#VALmake_in_range">make_in_range</a> [<a href="Mutable_types.IVector.html">Mutable_types.IVector</a>]</td>
<td><div class="info">
<code class="code">make_in_range n</code> creates a new <code class="code"><span class="constructor">IVector</span></code> of size ranging from <code class="code">0</code> to <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="Immutable_types.IVector.html#VALmake_in_range">make_in_range</a> [<a href="Immutable_types.IVector.html">Immutable_types.IVector</a>]</td>
<td><div class="info">
<code class="code">make_in_range n</code> creates a new <code class="code"><span class="constructor">IVector</span></code> of size ranging from <code class="code">0</code> to <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="Mutable_types.Mergeable.html#VALmerge">merge</a> [<a href="Mutable_types.Mergeable.html">Mutable_types.Mergeable</a>]</td>
<td><div class="info">
<code class="code">merge a b</code> will merge the state of <code class="code">b</code> with the one from <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Immutable_types.Mergeable.html#VALmerge">merge</a> [<a href="Immutable_types.Mergeable.html">Immutable_types.Mergeable</a>]</td>
<td><div class="info">
<code class="code">merge a b</code> will merge the state of <code class="code">a</code> and the one from <code class="code">b</code> to create
      a new mergeable element.
</div>
</td></tr>
<tr><td align="left"><br>Q</td></tr>
<tr><td><a href="Mutable_types.IVector.html#VALquery">query</a> [<a href="Mutable_types.IVector.html">Mutable_types.IVector</a>]</td>
<td><div class="info">
<code class="code">query t</code> returns the raw state of <code class="code">t</code>
</div>
</td></tr>
<tr><td><a href="Immutable_types.IVector.html#VALquery">query</a> [<a href="Immutable_types.IVector.html">Immutable_types.IVector</a>]</td>
<td><div class="info">
<code class="code">query t</code> returns the raw state of <code class="code">t</code>
</div>
</td></tr>
<tr><td align="left"><br>R</td></tr>
<tr><td><a href="Immutable_types.RSet.html#VALremove">remove</a> [<a href="Immutable_types.RSet.html">Immutable_types.RSet</a>]</td>
<td><div class="info">
<code class="code">remove el t</code> removes <code class="code">el</code> from <code class="code">t</code> only if <code class="code">el</code> is in <code class="code">t</code>.
</div>
</td></tr>
<tr><td><a href="Mutable_types.RSet.html#VALremove">remove</a> [<a href="Mutable_types.RSet.html">Mutable_types.RSet</a>]</td>
<td><div class="info">
<code class="code">remove el t</code> removes <code class="code">el</code> from <code class="code">t</code> only if <code class="code">el</code> is in <code class="code">t</code>.
</div>
</td></tr>
<tr><td align="left"><br>V</td></tr>
<tr><td><a href="Immutable_types.GSet.html#VALvalue">value</a> [<a href="Immutable_types.GSet.html">Immutable_types.GSet</a>]</td>
<td><div class="info">
<code class="code">value t</code> gets the raw state of <code class="code">t</code>.
</div>
</td></tr>
<tr><td><a href="Mutable_types.GSet.html#VALvalue">value</a> [<a href="Mutable_types.GSet.html">Mutable_types.GSet</a>]</td>
<td><div class="info">
<code class="code">value t</code> gets the raw state of <code class="code">t</code>.
</div>
</td></tr>
</table>
</body>
</html>