Macro Expander Options

The following options are recognized by the macro expander:

d
Dumps all clauses to the user after expansion. Useful for debugging.
e
Expand macros. If omitted, the expander simply converts each ::–/2 clause to a normal :–/2 clause.
v
``Verbose'' mode. Prints macros that are/are not being expanded.