src/Pure/PIDE/command_span.scala

--- a/src/Pure/PIDE/command_span.scala	Wed Aug 29 11:44:28 2018 +0200
+++ b/src/Pure/PIDE/command_span.scala	Wed Aug 29 12:21:59 2018 +0200
@@ -39,6 +39,12 @@
         case _ => start
       }
 
+    def is_kind(keywords: Keyword.Keywords, pred: String => Boolean): Boolean =
+      keywords.kinds.get(name) match {
+        case Some(k) => pred(k)
+        case None => false
+      }
+
     def is_begin: Boolean = content.exists(_.is_begin)
     def is_end: Boolean = content.exists(_.is_end)