Marker for ascending deg-rev-lex ordering. More...
#include <order_tags.h>
Marker for ascending deg-rev-lex ordering.