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.