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