NEWS

--- a/NEWS	Sat Apr 22 10:22:41 2023 +0200
+++ b/NEWS	Sat Apr 22 20:55:05 2023 +0200
@@ -283,6 +283,10 @@
 
 *** ML ***
 
+* ML antiquotation \<^if_none>\<open>expr\<close> inlines a function (fn SOME x => x
+| NONE => expr); this is a non-strict version of the regular function
+"the_default". Both are particularly useful with the |> combinator.
+
 * Improved implementations and signatures of functor Table() and
 corresponding functor Set().