ARGS

Args takes one argument, a symbol which must be the name of a
function or macro, and prints out the formal parameters, the guard
expression, the output signature, the deduced type, the constraint
(if any), and whether documentation about the symbol is available
via :doc.