[MLton-commit] r5830

[Vesa Karvonen]

Examples.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/public/value/reduce.sig

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/reduce.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/reduce.sig	2007-08-07 08:00:50 UTC (rev 5829)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/reduce.sig	2007-08-07 08:10:39 UTC (rev 5830)
@@ -7,6 +7,15 @@
 (**
  * A generic for making reduce operations.
  *
+ * Examples:
+ *
+ *> - makeReduce 0 op + id int list [1, 2, 3] ;
+ *> val it = 6 : Int.t
+ *
+ *> - makeReduce 0 op + id int (fn t => tuple (T t *` T int *` T t))
+ *> = (1 & 3 & 7) ;
+ *> val it = 8 : int
+ *
  * This design is experimental.
  *)
 signature REDUCE = sig