This package contains some extra libraries to deal with search trees
which represent non-deterministic computations in data structures, as
defined in the standard library Control.Search.SearchTree.
In particular, it contains libraries for traversals through search trees
and a library to generate search trees.