Major Section: HISTORY
Examples: :pf (:definition fn) ; prints the definition of fn as an equality :pf fn ; same as above :pf (:rewrite foo) ; prints the statement of the rewrite rule foo :pf foo ; same as above
pf takes one argument, an event name or a rune, and prints the
formula associated with name. If the argument is the name of a macro
associated with a function name by macro-aliases-table, then the
function name is used as the argument.