1
/* Title: Pure/name.scala
2
Author: Makarius
3
4
Items with formal name.
5
*/
6
7
package isabelle
8
9
10
object Name {
11
trait T { def name: String }
12
13
type Data[A] = Map[String, A]
14
}