[MLton-commit] r4945

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

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

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

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig	2006-12-10 19:13:05 UTC (rev 4944)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig	2006-12-10 19:13:10 UTC (rev 4945)
@@ -1,16 +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 {OPTION} signature. *)
-signature OPTION = sig
-   include OPTION
-
-   type 'a t = 'a option
-   (** Convenience alias. *)
-
-   val isNone : 'a t UnPr.t
-   (** Returns {true} if given option is {NONE}; otherwise returns {false}. *)
-end