src/Pure/PIDE/markup.ML

   val language_rail: T
   val language_path: T
   val language_mixfix: T
   val bindingN: string val binding: T
   val entityN: string val entity: string -> string -> T
-  val get_entity_kind: T -> string option
   val defN: string
   val refN: string
   val completionN: string val completion: T
   val no_completionN: string val no_completion: T
   val lineN: string

 val entityN = "entity";
 fun entity kind name =
   (entityN,
     (if name = "" then [] else [(nameN, name)]) @ (if kind = "" then [] else [(kindN, kind)]));
 
-fun get_entity_kind (name, props) =
-  if name = entityN then Properties.get props kindN
-  else NONE;
-
 val defN = "def";
 val refN = "ref";
 
 
 (* completion *)