src/Pure/PIDE/markup.ML

   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 totalN: string
+  val completionN: string
   val lineN: string
   val offsetN: string
   val end_offsetN: string
   val fileN: string
   val idN: string

 val refN = "ref";
 
 
 (* completion *)
 
-val (completionN, completion) = markup_elem "completion";
+val totalN = "total";
+val completionN = "completion";
 
 
 (* position *)
 
 val lineN = "line";