### ACL2-PC::R

(macro)
` `

same as rewrite
Major Section: PROOF-CHECKER-COMMANDS

Example:
(r 3)
General Form:
(rewrite &optional rule-id substitution
;; below are rare arguments, used for disambiguation:
target-lhs target-rhs target-hyps target-equiv)

See the documentation for `rewrite`

, as `r`

and `rewrite`

are identical.