Filtering...

advise

books/tools/advise

Included Books

include-raw
other
(in-package "ACL2")
include-book
(include-book "include-raw")
advise$-fnfunction
(defun advise$-fn
  (fn form when name)
  (declare (ignorable fn form when name)
    (xargs :guard t))
  (er hard? 'advise$ "Raw lisp definition not installed?"))
unadvise$-fnfunction
(defun unadvise$-fn
  (fn when name)
  (declare (ignorable fn when name)
    (xargs :guard t))
  (er hard? 'unadvise$ "Raw lisp definition not installed?"))
advisedp$-fnfunction
(defun advisedp$-fn
  (fn when name)
  (declare (ignorable fn when name)
    (xargs :guard t))
  (er hard? 'advisedp$ "Raw lisp definition not installed?"))
advise$macro
(defmacro advise$
  (fn form &key when name)
  `(advise$-fn ,FN ,FORM ,WHEN ,NAME))
unadvise$macro
(defmacro unadvise$
  (fn &key when name)
  `(unadvise$-fn ,FN ,WHEN ,NAME))
advisedp$macro
(defmacro advisedp$
  (fn &key when name)
  `(advisedp$-fn ,FN ,WHEN ,NAME))
other
(defttag :unsound-advise$)
other
(include-raw "advise-raw.lsp")