ACL2-pc::illegal
(macro)
illegal instruction
Example:
(illegal -3)
General Form:
(illegal instruction)
Probably not of interest to most users; always ``fails'' since it expands
to the fail command.
The illegal command is used mainly in the implementation. For
example, the instruction 0 is ``read'' as (illegal 0), since
dive expects positive integers.
