Retrieve the kind of the rewrite rule of a function introduced via defun-sk.
(defun-sk-rewrite-kind fn wrld) → kind
Function:
(defun defun-sk-rewrite-kind (fn wrld) (declare (xargs :guard (and (plist-worldp wrld) (defun-sk-namep fn wrld)))) (let ((__function__ 'defun-sk-rewrite-kind)) (declare (ignorable __function__)) (b* ((options (defun-sk-options fn wrld)) (pair (assoc-eq :rewrite options)) ((when (null pair)) :default) (option (cdr pair))) (cond ((eq option :default) :default) ((eq option :direct) :direct) (t :custom)))))