next | previous | forward | backward | up | top | index | toc | home

options(Monoid) -- get values used for optional arguments

Synopsis

Description

options M -- returns the options used when the monoid M was created.