Remove any
(defarbrec-filter-call call) → call$
As explained in the documentation, these two options are ignored when checking redundancy.
Function:
(defun defarbrec-filter-call (call) (declare (xargs :guard (pseudo-event-formp call))) (declare (xargs :guard (and (>= (len call) 4) (eq 'defarbrec (car call))))) (let ((__function__ 'defarbrec-filter-call)) (declare (ignorable __function__)) (b* ((number-of-required-args 3) (number-of-elements-before-options (1+ number-of-required-args)) (options (nthcdr number-of-elements-before-options call)) (options (remove-keyword :print options)) (options (remove-keyword :show-only options)) (call$ (append (take number-of-elements-before-options call) options))) call$)))