src/Pure/Isar/token.ML

   val inner_syntax_of: T -> string
   val source_position_of: T -> Symbol_Pos.text * Position.T
   val content_of: T -> string
   val markup: T -> Markup.T * string
   val unparse: T -> string
+  val print: T -> string
   val text_of: T -> string * string
   val get_files: T -> file Exn.result list
   val put_files: file Exn.result list -> T -> T
   val get_value: T -> value option
   val map_value: (value -> value) -> T -> T

   | Comment => enclose "(*" "*)" x
   | Sync => ""
   | EOF => ""
   | _ => x);
 
+fun print tok = Markup.markup (#1 (markup tok)) (unparse tok);
+
 fun text_of tok =
   if is_semicolon tok then ("terminator", "")
   else
     let
       val k = str_of_kind (kind_of tok);