[MLton-commit] r4884

[Vesa K. <ve...@ml...>]

Docs.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig	2006-11-30 05:15:42 UTC (rev 4883)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig	2006-11-30 14:02:25 UTC (rev 4884)
@@ -108,8 +108,13 @@
    (** == Set Operations == *)
 
    val contains : ''a t -> ''a UnPr.t
+   (** {contains l x = exists (x <\ op =) l} *)
 
    (** == Equality == *)
 
    val equal : 'a BinPr.t -> 'a t BinPr.t
+   (**
+    * Given an equality predicate on an element type returns an equality
+    * predicate on lists of the element type.
+    *)
 end