[MLton-commit] r4937

Vesa Karvonen vesak at mlton.org
Sun Dec 10 11:12:19 PST 2006


Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/bool.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/bool.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/bool.sig	2006-12-10 19:12:05 UTC (rev 4936)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/bool.sig	2006-12-10 19:12:19 UTC (rev 4937)
@@ -1,25 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Extended {BOOL} signature. *)
-signature BOOL = sig
-   include BOOL
-
-   type t = bool
-   (** Convenience alias. *)
-
-   val isTrue : t UnPr.t
-   (** {isTrue x = x = true} *)
-
-   val isFalse : t UnPr.t
-   (** {isFalse x = x = false} *)
-
-   val equal : t BinPr.t
-   (** Equivalent to {op =}. *)
-
-   val compare : t Cmp.t
-   (** An ordering on booleans.  {false} is defined less than {true}. *)
-end




More information about the MLton-commit mailing list