List of mutually recursive functions of which
the specified named function is a member,
based on the defun form that introduced this function,
See irecursivep+ for an enhanced variant of this utility.
(defun irecursivep (fn wrld) (declare (xargs :guard (and (symbolp fn) (plist-worldp wrld)))) (let ((__function__ 'irecursivep)) (declare (ignorable __function__)) (recursivep fn nil wrld)))