options(Monoid) -- get values used for optional arguments
Description
options M -- returns the options used when the monoid M was created.
Ways to use this method:
-
"options(GeneralOrderedMonoid)"
-
options(Monoid) -- get values used for optional arguments