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.