ARGS

args, guard, type, constraint, etc., of a function symbol
Major Section:  DOCUMENTATION

Example:
:args assoc-eq

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.