[MLton-commit] r4930

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

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

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

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/univ.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/univ.sig	2006-12-10 19:11:07 UTC (rev 4929)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/univ.sig	2006-12-10 19:11:12 UTC (rev 4930)
@@ -1,32 +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.
- *)
-
-(**
- * Signature for a basic universal type.
- *
- * See also: [http://mlton.org/UniversalType]
- *)
-signature UNIV = sig
-   type t
-   (** The universal type. *)
-
-   exception Univ
-   (** Raised in case of a mismatched projection. *)
-
-   val newIso : ('a, t) Iso.t Thunk.t
-   (**
-    * Creates a new embedding of an arbitrary type {'a} to the universal
-    * type {t} and returns it as an isomorphism whose projection function
-    * is partial.  The projection function raises {Univ} in case of a
-    * mismatch.
-    *)
-
-   val newEmb : ('a, t) Emb.t Thunk.t
-   (**
-    * Creates a new embedding of an arbitrary type {'a} to the universal
-    * type {t}.
-    *)
-end