diff -r 198fc882ec0f -r 9f89b3c41460 src/Pure/name.scala
--- a/src/Pure/name.scala	Thu Jun 06 22:03:20 2024 +0200
+++ b/src/Pure/name.scala	Thu Jun 06 22:13:10 2024 +0200
@@ -9,4 +9,6 @@
 
 object Name {
   trait T { def name: String }
+
+  type Data[A] = Map[String, A]
 }