tuned;

--- a/src/Pure/consts.ML	Wed Jan 10 13:15:28 2024 +0100
+++ b/src/Pure/consts.ML	Wed Jan 10 13:16:48 2024 +0100
@@ -109,8 +109,7 @@
 
 (* lookup consts *)
 
-fun get_const_name (Consts {decls, ...}) c =
-  Name_Space.lookup_key decls c |> Option.map #1;
+fun get_const_name (Consts {decls, ...}) = Name_Space.lookup_key decls #> Option.map #1;
 
 fun get_entry (Consts {decls, ...}) = Name_Space.lookup decls;