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

 
 val defN = "def";
 val refN = "ref";
 
 
+(* completion *)
+
+val (completionN, completion) = markup_elem "completion";
+
+
 (* position *)
 
 val lineN = "line";
 val offsetN = "offset";
 val end_offsetN = "end_offset";

 val simp_trace_recurseN = "simp_trace_recurse";
 val simp_trace_hintN = "simp_trace_hint";
 val simp_trace_ignoreN = "simp_trace_ignore";
 
 fun simp_trace_cancel i = [(functionN, "simp_trace_cancel"), (serialN, print_int i)];
+
 
 
 (** print mode operations **)
 
 val no_output = ("", "");