Index of modules

This functor is similar to the Reins.AVLSet.GenSet module above, except it allows the user to specify the maximum difference between the heights of two subtrees at a node with HeightDiff.v.

This functor is similar to the Reins.AVLSet.MonoSet module above, except it allows the user to specify the maximum difference between the heights of two subtrees at a node with HeightDiff.v.

This functor is similar to the Reins.AVLSet.PolySet module above, except it allows the user to specify the maximum difference between the heights of two subtrees at a node with HeightDiff.v.

A value of type Arg.t will be randomly generated and passed to the law function below.

This module can be used to "close" a series of functors to produce a module with a parameterized type.

Create a list iterator for the list L using the standard List_Cursor interface for the cursor.

This functor is similar to the Reins.SplaySet.MonoSet functor except it is parameterized by a module that also supports the gen operation.

This functor is similar to the Reins.RBSet.MonoSet functor except it is parameterized by a module that also supports the gen operation.

Same as the Reins.PatriciaSet.MonoSet module, except it also provides the gen function.

This functor is similar to the Reins.AVLSet.MonoSet functor except it is parameterized by a module that also supports the gen operation.

Reins.AVLSet.AVL_GenSet instanced with HeightDiff.v = 1

Reins.AVLSet.AVL_GenSet instanced with HeightDiff.v = 2

Reins.AVLSet.AVL_GenSet instanced with HeightDiff.v = 3

Create an iterator for a Set (note that this implicitly supports both MonoSets and PolySets).

Create a list iterator from an arbitrary cursor type

Signatures/functors for modules with unparameterized (monomorphic) types

This functor provides an implementation of Splay trees that are parameterized by a specific monomorphic element type.

This functor provides an implementation of RedBlack trees that are parameterized by a specific monomorphic element type.

This module implements sets with integer keys

This functor provides an implementation of AVL trees that are parameterized by a specific monomorphic element type.

Reins.AVLSet.AVL_MonoSet instanced with HeightDiff.v = 1

Reins.AVLSet.AVL_MonoSet instanced with HeightDiff.v = 2

Reins.AVLSet.AVL_MonoSet instanced with HeightDiff.v = 3

Signatures/functors for modules with parameterized (polymorphic) types.

This module provides an implementation of Splay trees with a polymorphic element type.

This module provides an implementation of RedBlack trees with a polymorphic element type.

This module provides an implementation of AVL trees with a polymorphic element type.

Reins.AVLSet.AVL_PolySet instanced with HeightDiff.v = 1

Reins.AVLSet.AVL_PolySet instanced with HeightDiff.v = 2

Reins.AVLSet.AVL_PolySet instanced with HeightDiff.v = 3

The OCaml Reins library