author | wenzelm |
Fri, 03 Aug 2018 15:29:18 +0200 | |
changeset 68716 | 040c6298850b |
parent 68715 | 8197c2857267 |
child 68717 | 54a5043d4cd5 |
--- a/src/Pure/Thy/export_theory.scala Fri Aug 03 15:29:11 2018 +0200 +++ b/src/Pure/Thy/export_theory.scala Fri Aug 03 15:29:18 2018 +0200 @@ -158,6 +158,8 @@ sealed case class Entity(kind: Kind.Value, name: String, serial: Long, pos: Position.T) { + def kind_name: (Kind.Value, String) = (kind, name) + override def toString: String = kind.toString + quote(name) def cache(cache: Term.Cache): Entity =