src/Pure/General/sql.scala

--- a/src/Pure/General/sql.scala	Mon Jan 02 15:30:57 2023 +0100
+++ b/src/Pure/General/sql.scala	Mon Jan 02 15:41:50 2023 +0100
@@ -127,6 +127,9 @@
     override def toString: Source = ident
   }
 
+  def order_by(columns: List[Column], descending: Boolean = false): Source =
+    " ORDER BY " + columns.mkString(", ") + (if (descending) " DESC" else "")
+
 
   /* tables */