src/Pure/General/sql.scala

--- a/src/Pure/General/sql.scala	Wed Jun 14 11:18:25 2023 +0200
+++ b/src/Pure/General/sql.scala	Wed Jun 14 11:47:43 2023 +0200
@@ -81,6 +81,8 @@
     else OR(set.iterator.map(equal(sql, _)).toList)
 
   def where(sql: Source): Source = if_proper(sql, " WHERE " + sql)
+  def where_and(args: Source*): Source = where(and(args:_*))
+  def where_or(args: Source*): Source = where(or(args:_*))
 
 
   /* types */