>From e60011d5bf7273955ef0bad0c2550d06405bc59f Mon Sep 17 00:00:00 2001
From: Arthur Miller <arthur.miller@live.com>
Date: Mon, 4 Oct 2021 15:18:37 +0200
Subject: [PATCH 1/2] Edebug Instrumented Predicate

* lisp/emacs-lisp/edebug.el (edebug-instrumented-p): New function.
---
 lisp/emacs-lisp/edebug.el | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lisp/emacs-lisp/edebug.el b/lisp/emacs-lisp/edebug.el
index 4f3c05baa9..a37d37163e 100644
--- a/lisp/emacs-lisp/edebug.el
+++ b/lisp/emacs-lisp/edebug.el
@@ -4562,6 +4562,10 @@ edebug-remove-instrumentation
   (message "Removed edebug instrumentation from %s"
            (mapconcat #'symbol-name functions ", ")))
 
+(defun edebug-instrumented-p (function)
+  "Whether FUNCTION has been instrumented for edebug."
+  (and (get function 'edebug) (or (functionp function) (macrop function))
+       (edebug--unwrap*-symbol-function function)))
 
 ;;; Obsolete.
 
-- 
2.33.0