ARGS.html -- ACL2 Version 6.3

## 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`.