[MLton-commit] r4918

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

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

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

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/un-pr.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/un-pr.sig	2006-12-10 19:08:50 UTC (rev 4917)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/un-pr.sig	2006-12-10 19:09:02 UTC (rev 4918)
@@ -1,20 +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.
- *)
-
-(** Utilities for dealing with (unary) predicates. *)
-signature UN_PR = sig
-   type 'a t = 'a -> bool
-   (** Type of (unary) predicates (e.g. {null, isSome, ...}). *)
-
-   val andAlso : 'a t BinOp.t
-   (** Conjunction of predicates ({(p andAlso q) x = p x andalso q y}). *)
-
-   val negate : 'a t UnOp.t
-   (** Predicate negation ({negate p = not o p}). *)
-
-   val orElse : 'a t BinOp.t
-   (** Disjunction of predicates ({(p orElse q) x = p x orelse q x}). *)
-end