:pl are rewrite rules, definition rules,
and meta rules.
Major Section: HISTORY
Examples: :pl foo ; prints rules that rewrite some call of foo :pl (+ x y) ; prints rules that rewrite (+ x y)
Pl takes one argument, which should be a symbol or a term. If the
argument is a function symbol (or a macro corresponding to a function;
see macro-aliases-table), :pl displays the :rewrite,
:definition, and :meta rules that rewrite some term whose
top function symbol is the one specified. Otherwise, :pl displays the
:rewrite and :definition rules that rewrite the specified
term, but not the :meta rules, and also shows the substitution to
be applied to the left-hand side of the rule in order to obtain the specified
term.
The kinds of rules printed by :pl are rewrite rules, definition rules,
and meta rules.