(look-up-wrapper-args wrapper world) is like look-up-formals, except
that
Function:
(defun look-up-wrapper-args (wrapper world) (declare (xargs :guard (and (symbolp wrapper) (plist-worldp world)))) (b* ((__function__ 'look-up-wrapper-args) (look (getprop wrapper 'acl2::formals :bad 'acl2::current-acl2-world world)) ((unless (eq look :bad)) look) (look (getprop wrapper 'macro-args :bad 'acl2::current-acl2-world world)) ((unless (eq look :bad)) look)) (raise "Failed to find formals or macro-args for ~x0!" wrapper)))