VariableOrder
VariableOrder
-- an option used when creating a monoid.
Not implemented yet.
See also
monoid
.
