|
From: Vesa K. <ve...@ml...> - 2006-12-10 11:12:19
|
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 |