<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 exceptions" rel=Appendix href="index_exceptions.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="Reins" rel="Chapter" href="Reins.html"><title>Index of modules</title> </head> <body> <center><h1>Index of modules</h1></center> <table> <tr><td align="left"><br>A</td></tr> <tr><td><a href="Reins.AVLMap.html">AVLMap</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLSet.html">AVLSet</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.AVL_GenKeyMap.html">AVL_GenKeyMap</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.AVL_GenMap.html">AVL_GenMap</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLSet.AVL_GenSet.html">AVL_GenSet</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> This functor is similar to the <a href="Reins.AVLSet.GenSet.html"><code class="code">Reins.AVLSet.GenSet</code></a> module above, except it allows the user to specify the maximum difference between the heights of two subtrees at a node with <code class="code">HeightDiff.v</code>. </div> </td></tr> <tr><td><a href="Reins.AVLMap.AVL_KeyMap.html">AVL_KeyMap</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.AVL_Map.html">AVL_Map</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLSet.AVL_MonoSet.html">AVL_MonoSet</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> This functor is similar to the <a href="Reins.AVLSet.MonoSet.html"><code class="code">Reins.AVLSet.MonoSet</code></a> module above, except it allows the user to specify the maximum difference between the heights of two subtrees at a node with <code class="code">HeightDiff.v</code>. </div> </td></tr> <tr><td><a href="Reins.AVLMap.AVL_PMap.html">AVL_PMap</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLSet.AVL_PolySet.html">AVL_PolySet</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> This functor is similar to the <a href="Reins.AVLSet.PolySet.html"><code class="code">Reins.AVLSet.PolySet</code></a> module above, except it allows the user to specify the maximum difference between the heights of two subtrees at a node with <code class="code">HeightDiff.v</code>. </div> </td></tr> <tr><td><a href="Reins.Quickcheck.Law.Arg.html">Arg</a> [<a href="Reins.Quickcheck.Law.html">Reins.Quickcheck.Law</a>]</td> <td><div class="info"> A value of type Arg.t will be randomly generated and passed to the law function below. </div> </td></tr> <tr><td align="left"><br>B</td></tr> <tr><td><a href="Reins.OracleSet.Benchmark.html">Benchmark</a> [<a href="Reins.OracleSet.html">Reins.OracleSet</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Big_int.html">Big_int</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td></td></tr> <tr><td><a href="Reins.BinomialHeap.html">BinomialHeap</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Bool.html">Bool</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td></td></tr> <tr><td align="left"><br>C</td></tr> <tr><td><a href="Reins.CatenableList.html">CatenableList</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Char.html">Char</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td></td></tr> <tr><td><a href="Reins.Quickcheck.Check.html">Check</a> [<a href="Reins.Quickcheck.html">Reins.Quickcheck</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Poly.Close.html">Close</a> [<a href="Reins.Types.Poly.html">Reins.Types.Poly</a>]</td> <td><div class="info"> This module can be used to "close" a series of functors to produce a module with a parameterized type. </div> </td></tr> <tr><td><a href="Reins.Types.Mono.Comparable3Tuple.html">Comparable3Tuple</a> [<a href="Reins.Types.Mono.html">Reins.Types.Mono</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Mono.ComparablePair.html">ComparablePair</a> [<a href="Reins.Types.Mono.html">Reins.Types.Mono</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Complex.html">Complex</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Mono.ComposeComparable.html">ComposeComparable</a> [<a href="Reins.Types.Mono.html">Reins.Types.Mono</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Poly.ComposeComparable.html">ComposeComparable</a> [<a href="Reins.Types.Poly.html">Reins.Types.Poly</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Mono.ComposeGen.html">ComposeGen</a> [<a href="Reins.Types.Mono.html">Reins.Types.Mono</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Poly.ComposeGen.html">ComposeGen</a> [<a href="Reins.Types.Poly.html">Reins.Types.Poly</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Mono.ComposeGenComparable.html">ComposeGenComparable</a> [<a href="Reins.Types.Mono.html">Reins.Types.Mono</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Poly.ComposeGenComparable.html">ComposeGenComparable</a> [<a href="Reins.Types.Poly.html">Reins.Types.Poly</a>]</td> <td></td></tr> <tr><td align="left"><br>D</td></tr> <tr><td><a href="Reins.DoubleList.html">DoubleList</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.DoubleQueue.html">DoubleQueue</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.Dug.html">Dug</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.DugADT.html">DugADT</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.DugExtractor.html">DugExtractor</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.DugGenerator.html">DugGenerator</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.DugProfile.html">DugProfile</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td align="left"><br>E</td></tr> <tr><td><a href="Reins.OracleSet.Extractor.html">Extractor</a> [<a href="Reins.OracleSet.html">Reins.OracleSet</a>]</td> <td></td></tr> <tr><td align="left"><br>F</td></tr> <tr><td><a href="Reins.Types.Float.html">Float</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td></td></tr> <tr><td><a href="Reins.ListIterator.From_List.html">From_List</a> [<a href="Reins.ListIterator.html">Reins.ListIterator</a>]</td> <td><div class="info"> Create a list iterator for the list <code class="code">L</code> using the standard List_Cursor interface for the cursor. </div> </td></tr> <tr><td align="left"><br>G</td></tr> <tr><td><a href="Reins.AVLMap.Gen1.html">Gen1</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.Gen2.html">Gen2</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.Gen3.html">Gen3</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Mono.Gen3Tuple.html">Gen3Tuple</a> [<a href="Reins.Types.Mono.html">Reins.Types.Mono</a>]</td> <td></td></tr> <tr><td><a href="Reins.SkewBinomialHeap.GenHeap.html">GenHeap</a> [<a href="Reins.SkewBinomialHeap.html">Reins.SkewBinomialHeap</a>]</td> <td></td></tr> <tr><td><a href="Reins.BinomialHeap.GenHeap.html">GenHeap</a> [<a href="Reins.BinomialHeap.html">Reins.BinomialHeap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.GenKey1.html">GenKey1</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.GenKey2.html">GenKey2</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.GenKey3.html">GenKey3</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.SplayMap.GenKeyMap.html">GenKeyMap</a> [<a href="Reins.SplayMap.html">Reins.SplayMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.RBMap.GenKeyMap.html">GenKeyMap</a> [<a href="Reins.RBMap.html">Reins.RBMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.PatriciaMap.GenKeyMap.html">GenKeyMap</a> [<a href="Reins.PatriciaMap.html">Reins.PatriciaMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.GenKeyMap.html">GenKeyMap</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.SplayMap.GenMap.html">GenMap</a> [<a href="Reins.SplayMap.html">Reins.SplayMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.RBMap.GenMap.html">GenMap</a> [<a href="Reins.RBMap.html">Reins.RBMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.PatriciaMap.GenMap.html">GenMap</a> [<a href="Reins.PatriciaMap.html">Reins.PatriciaMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.GenMap.html">GenMap</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Mono.GenPair.html">GenPair</a> [<a href="Reins.Types.Mono.html">Reins.Types.Mono</a>]</td> <td></td></tr> <tr><td><a href="Reins.SplaySet.GenSet.html">GenSet</a> [<a href="Reins.SplaySet.html">Reins.SplaySet</a>]</td> <td><div class="info"> This functor is similar to the <a href="Reins.SplaySet.MonoSet.html"><code class="code">Reins.SplaySet.MonoSet</code></a> functor except it is parameterized by a module that also supports the <code class="code">gen</code> operation. </div> </td></tr> <tr><td><a href="Reins.RBSet.GenSet.html">GenSet</a> [<a href="Reins.RBSet.html">Reins.RBSet</a>]</td> <td><div class="info"> This functor is similar to the <a href="Reins.RBSet.MonoSet.html"><code class="code">Reins.RBSet.MonoSet</code></a> functor except it is parameterized by a module that also supports the <code class="code">gen</code> operation. </div> </td></tr> <tr><td><a href="Reins.PatriciaSet.GenSet.html">GenSet</a> [<a href="Reins.PatriciaSet.html">Reins.PatriciaSet</a>]</td> <td><div class="info"> Same as the <a href="Reins.PatriciaSet.MonoSet.html"><code class="code">Reins.PatriciaSet.MonoSet</code></a> module, except it also provides the <code class="code">gen</code> function. </div> </td></tr> <tr><td><a href="Reins.AVLSet.GenSet.html">GenSet</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> This functor is similar to the <a href="Reins.AVLSet.MonoSet.html"><code class="code">Reins.AVLSet.MonoSet</code></a> functor except it is parameterized by a module that also supports the <code class="code">gen</code> operation. </div> </td></tr> <tr><td><a href="Reins.AVLSet.GenSet1.html">GenSet1</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> <a href="Reins.AVLSet.AVL_GenSet.html"><code class="code">Reins.AVLSet.AVL_GenSet</code></a> instanced with HeightDiff.v = 1 </div> </td></tr> <tr><td><a href="Reins.AVLSet.GenSet2.html">GenSet2</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> <a href="Reins.AVLSet.AVL_GenSet.html"><code class="code">Reins.AVLSet.AVL_GenSet</code></a> instanced with HeightDiff.v = 2 </div> </td></tr> <tr><td><a href="Reins.AVLSet.GenSet3.html">GenSet3</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> <a href="Reins.AVLSet.AVL_GenSet.html"><code class="code">Reins.AVLSet.AVL_GenSet</code></a> instanced with HeightDiff.v = 3 </div> </td></tr> <tr><td align="left"><br>H</td></tr> <tr><td><a href="Reins.Heaps.html">Heaps</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td align="left"><br>I</td></tr> <tr><td><a href="Reins.Dug.Id.html">Id</a> [<a href="Reins.Dug.html">Reins.Dug</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Int.html">Int</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Int32.html">Int32</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Int64.html">Int64</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td></td></tr> <tr><td><a href="Reins.Iterator.html">Iterator</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td align="left"><br>L</td></tr> <tr><td><a href="Reins.ListCursor.html">ListCursor</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.ListIterator.html">ListIterator</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.Lists.html">Lists</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td align="left"><br>M</td></tr> <tr><td><a href="Reins.DugGenerator.Make.html">Make</a> [<a href="Reins.DugGenerator.html">Reins.DugGenerator</a>]</td> <td></td></tr> <tr><td><a href="Reins.DugProfile.Make.html">Make</a> [<a href="Reins.DugProfile.html">Reins.DugProfile</a>]</td> <td></td></tr> <tr><td><a href="Reins.DoubleList.Make.html">Make</a> [<a href="Reins.DoubleList.html">Reins.DoubleList</a>]</td> <td></td></tr> <tr><td><a href="Reins.TreeSetIterator.Make.html">Make</a> [<a href="Reins.TreeSetIterator.html">Reins.TreeSetIterator</a>]</td> <td><div class="info"> Create an iterator for a Set (note that this implicitly supports both MonoSets and PolySets). </div> </td></tr> <tr><td><a href="Reins.ListIterator.Make.html">Make</a> [<a href="Reins.ListIterator.html">Reins.ListIterator</a>]</td> <td><div class="info"> Create a list iterator from an arbitrary cursor type </div> </td></tr> <tr><td><a href="Reins.ListCursor.Make.html">Make</a> [<a href="Reins.ListCursor.html">Reins.ListCursor</a>]</td> <td></td></tr> <tr><td><a href="Reins.Maps.html">Maps</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Mono.html">Mono</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td><div class="info"> Signatures/functors for modules with unparameterized (monomorphic) types </div> </td></tr> <tr><td><a href="Reins.AVLMap.Mono1.html">Mono1</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.Mono2.html">Mono2</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.Mono3.html">Mono3</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.SkewBinomialHeap.MonoHeap.html">MonoHeap</a> [<a href="Reins.SkewBinomialHeap.html">Reins.SkewBinomialHeap</a>]</td> <td></td></tr> <tr><td><a href="Reins.BinomialHeap.MonoHeap.html">MonoHeap</a> [<a href="Reins.BinomialHeap.html">Reins.BinomialHeap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.MonoKey1.html">MonoKey1</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.MonoKey2.html">MonoKey2</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.MonoKey3.html">MonoKey3</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.SplayMap.MonoKeyMap.html">MonoKeyMap</a> [<a href="Reins.SplayMap.html">Reins.SplayMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.RBMap.MonoKeyMap.html">MonoKeyMap</a> [<a href="Reins.RBMap.html">Reins.RBMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.PatriciaMap.MonoKeyMap.html">MonoKeyMap</a> [<a href="Reins.PatriciaMap.html">Reins.PatriciaMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.MonoKeyMap.html">MonoKeyMap</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.SplayMap.MonoMap.html">MonoMap</a> [<a href="Reins.SplayMap.html">Reins.SplayMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.RBMap.MonoMap.html">MonoMap</a> [<a href="Reins.RBMap.html">Reins.RBMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.PatriciaMap.MonoMap.html">MonoMap</a> [<a href="Reins.PatriciaMap.html">Reins.PatriciaMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.MonoMap.html">MonoMap</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.SplaySet.MonoSet.html">MonoSet</a> [<a href="Reins.SplaySet.html">Reins.SplaySet</a>]</td> <td><div class="info"> This functor provides an implementation of Splay trees that are parameterized by a specific monomorphic element type. </div> </td></tr> <tr><td><a href="Reins.RBSet.MonoSet.html">MonoSet</a> [<a href="Reins.RBSet.html">Reins.RBSet</a>]</td> <td><div class="info"> This functor provides an implementation of RedBlack trees that are parameterized by a specific monomorphic element type. </div> </td></tr> <tr><td><a href="Reins.PatriciaSet.MonoSet.html">MonoSet</a> [<a href="Reins.PatriciaSet.html">Reins.PatriciaSet</a>]</td> <td><div class="info"> This module implements sets with integer keys </div> </td></tr> <tr><td><a href="Reins.AVLSet.MonoSet.html">MonoSet</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> This functor provides an implementation of AVL trees that are parameterized by a specific monomorphic element type. </div> </td></tr> <tr><td><a href="Reins.AVLSet.MonoSet1.html">MonoSet1</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> <a href="Reins.AVLSet.AVL_MonoSet.html"><code class="code">Reins.AVLSet.AVL_MonoSet</code></a> instanced with HeightDiff.v = 1 </div> </td></tr> <tr><td><a href="Reins.AVLSet.MonoSet2.html">MonoSet2</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> <a href="Reins.AVLSet.AVL_MonoSet.html"><code class="code">Reins.AVLSet.AVL_MonoSet</code></a> instanced with HeightDiff.v = 2 </div> </td></tr> <tr><td><a href="Reins.AVLSet.MonoSet3.html">MonoSet3</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> <a href="Reins.AVLSet.AVL_MonoSet.html"><code class="code">Reins.AVLSet.AVL_MonoSet</code></a> instanced with HeightDiff.v = 3 </div> </td></tr> <tr><td align="left"><br>N</td></tr> <tr><td><a href="Reins.Types.Nativeint.html">Nativeint</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td></td></tr> <tr><td align="left"><br>O</td></tr> <tr><td><a href="Reins.Types.Option.html">Option</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td></td></tr> <tr><td><a href="Reins.Oracle.html">Oracle</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.OracleList.html">OracleList</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.OracleSet.html">OracleSet</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td align="left"><br>P</td></tr> <tr><td><a href="Reins.PatriciaMap.html">PatriciaMap</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.PatriciaSet.html">PatriciaSet</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Poly.html">Poly</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td><div class="info"> Signatures/functors for modules with parameterized (polymorphic) types. </div> </td></tr> <tr><td><a href="Reins.AVLMap.Poly1.html">Poly1</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.Poly2.html">Poly2</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.Poly3.html">Poly3</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.SkewBinomialHeap.PolyHeap.html">PolyHeap</a> [<a href="Reins.SkewBinomialHeap.html">Reins.SkewBinomialHeap</a>]</td> <td></td></tr> <tr><td><a href="Reins.BinomialHeap.PolyHeap.html">PolyHeap</a> [<a href="Reins.BinomialHeap.html">Reins.BinomialHeap</a>]</td> <td></td></tr> <tr><td><a href="Reins.SplayMap.PolyMap.html">PolyMap</a> [<a href="Reins.SplayMap.html">Reins.SplayMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.RBMap.PolyMap.html">PolyMap</a> [<a href="Reins.RBMap.html">Reins.RBMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.AVLMap.PolyMap.html">PolyMap</a> [<a href="Reins.AVLMap.html">Reins.AVLMap</a>]</td> <td></td></tr> <tr><td><a href="Reins.SplaySet.PolySet.html">PolySet</a> [<a href="Reins.SplaySet.html">Reins.SplaySet</a>]</td> <td><div class="info"> This module provides an implementation of Splay trees with a polymorphic element type. </div> </td></tr> <tr><td><a href="Reins.RBSet.PolySet.html">PolySet</a> [<a href="Reins.RBSet.html">Reins.RBSet</a>]</td> <td><div class="info"> This module provides an implementation of RedBlack trees with a polymorphic element type. </div> </td></tr> <tr><td><a href="Reins.AVLSet.PolySet.html">PolySet</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> This module provides an implementation of AVL trees with a polymorphic element type. </div> </td></tr> <tr><td><a href="Reins.AVLSet.PolySet1.html">PolySet1</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> <a href="Reins.AVLSet.AVL_PolySet.html"><code class="code">Reins.AVLSet.AVL_PolySet</code></a> instanced with HeightDiff.v = 1 </div> </td></tr> <tr><td><a href="Reins.AVLSet.PolySet2.html">PolySet2</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> <a href="Reins.AVLSet.AVL_PolySet.html"><code class="code">Reins.AVLSet.AVL_PolySet</code></a> instanced with HeightDiff.v = 2 </div> </td></tr> <tr><td><a href="Reins.AVLSet.PolySet3.html">PolySet3</a> [<a href="Reins.AVLSet.html">Reins.AVLSet</a>]</td> <td><div class="info"> <a href="Reins.AVLSet.AVL_PolySet.html"><code class="code">Reins.AVLSet.AVL_PolySet</code></a> instanced with HeightDiff.v = 3 </div> </td></tr> <tr><td align="left"><br>Q</td></tr> <tr><td><a href="Reins.Quickcheck.html">Quickcheck</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td align="left"><br>R</td></tr> <tr><td><a href="Reins.RBMap.html">RBMap</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.RBSet.html">RBSet</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.Ratio.html">Ratio</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td></td></tr> <tr><td><a href="Reins.html">Reins</a> </td> <td><div class="info"> The OCaml Reins library </div> </td></tr> <tr><td align="left"><br>S</td></tr> <tr><td><a href="Reins.SList.html">SList</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.Sets.html">Sets</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.SkewBinaryList.html">SkewBinaryList</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.SkewBinomialHeap.html">SkewBinomialHeap</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.SplayMap.html">SplayMap</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.SplaySet.html">SplaySet</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.String.html">String</a> [<a href="Reins.Types.html">Reins.Types</a>]</td> <td></td></tr> <tr><td align="left"><br>T</td></tr> <tr><td><a href="Reins.TreeSetIterator.html">TreeSetIterator</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td><a href="Reins.Types.html">Types</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> <tr><td align="left"><br>V</td></tr> <tr><td><a href="Reins.Version.html">Version</a> [<a href="Reins.html">Reins</a>]</td> <td></td></tr> </table><br> </body> </html>