Installation and changelog
API REFERENCE
Bibliography
Further info
Declared in order.hpp.
order.hpp
This file contains documentation for several class and function templates for comparing words or strings with respect to certain reduction orderings.