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]
 }