Used as an optional argument in makeFreeOIModule to specify the desired monomial order.
Permissible values:
References:
[1] M. Morrow and U. Nagel, Computing Gröbner Bases and Free Resolutions of OI-Modules, Preprint, arXiv:2303.06725, 2023.
The object OIMonomialOrder is a symbol.