[MLton-commit] r5953

[Vesa Karvonen]

Cleaned up terminology in comments.

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

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

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/tie.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/tie.sig	2007-08-25 20:52:28 UTC (rev 5952)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/tie.sig	2007-08-25 21:23:19 UTC (rev 5953)
@@ -54,15 +54,15 @@
 
    val tier : ('a * 'a Effect.t) Thunk.t -> 'a t
    (**
-    * {tier} is used to define fixpoint tiers for new abstract types by
-    * providing a thunk whose instantiation allocates a mutable proxy and
-    * a procedure for updating it with the result.
+    * {tier} is used to define fixpoint witnesses for new abstract types
+    * by providing a thunk whose instantiation allocates a mutable proxy
+    * and a procedure for updating it with the result.
     *)
 
    val id : 'a -> 'a t
    (** {id x} is equivalent to {pure (const (x, id))}. *)
 
-   (** == Combining Existing Tiers == *)
+   (** == Combining Existing Witnesses == *)
 
    val iso : 'b t -> ('a, 'b) Iso.t -> 'a t
    (**
@@ -84,7 +84,7 @@
     * {'a * 'b}.
     *)
 
-   (** == Particular Tiers == *)
+   (** == Particular Witnesses == *)
 
    val function : ('a -> 'b) t
    (** Witness for functions. *)