ACL2-PC::AL

(macro) same as apply-linear
Major Section:  PROOF-CHECKER-COMMANDS

Example:
(al 3)

See the documentation for apply-linear, as al and apply-linear are identical.