mldonkey-commits
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Mldonkey-commits] Changes to mldonkey/src/utils/cdk/list2.mli

From: mldonkey-commits
Subject: [Mldonkey-commits] Changes to mldonkey/src/utils/cdk/list2.mli
Date: Sun, 17 Jul 2005 20:52:35 -0400 
Index: mldonkey/src/utils/cdk/list2.mli
diff -u mldonkey/src/utils/cdk/list2.mli:1.3 
mldonkey/src/utils/cdk/list2.mli:1.4
--- mldonkey/src/utils/cdk/list2.mli:1.3        Sun Jul 10 23:19:16 2005
+++ mldonkey/src/utils/cdk/list2.mli    Mon Jul 18 00:52:31 2005
@@ -43,3 +43,5 @@
   
 val min : 'a list -> 'a
 val max : 'a list -> 'a
+
+val shuffle: 'a list -> 'a list
\ No newline at end of file
reply via email to
[Prev in Thread] Current Thread [Next in Thread]