searchTree

A module to easily implement search trees
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

searchTree

Documentation: SearchTree