Trace individual rewrite rules, printing to cw.
(svex-rewrite-trace-rule rule mask args localp rhs subst) → *
(defattach svex-rewrite-trace svex-rewrite-trace-rule) ;; turn on tracing (defattach svex-rewrite-trace svex-rewrite-trace-default) ;; turn off tracing
Function:
(defun svex-rewrite-trace-rule (rule mask args localp rhs subst) (declare (xargs :guard t)) (let ((__function__ 'svex-rewrite-trace-rule)) (declare (ignorable __function__)) (cw "Rule: ~x0~%" rule)))