src/Pure/term.ML

--- a/src/Pure/term.ML	Mon Oct 04 18:12:55 2021 +0200
+++ b/src/Pure/term.ML	Mon Oct 04 18:19:16 2021 +0200
@@ -165,6 +165,7 @@
   val could_beta_contract: term -> bool
   val could_eta_contract: term -> bool
   val could_beta_eta_contract: term -> bool
+  val used_free: string -> term -> bool
   val dest_abs: string * typ * term -> string * term
   val dummy_pattern: typ -> term
   val dummy: term