[MLton-commit] r4934

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

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

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

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-pr.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-pr.sig	2006-12-10 19:11:47 UTC (rev 4933)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-pr.sig	2006-12-10 19:11:52 UTC (rev 4934)
@@ -1,11 +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 binary predicates. *)
-signature BIN_PR = sig
-   type 'a t = 'a Sq.t UnPr.t
-   (** Type of binary predicates or relations (e.g. {<, <=, >=, >, ...}). *)
-end