|
From: Vesa K. <ve...@ml...> - 2006-12-10 11:16:09
|
Reorganized public files. ---------------------------------------------------------------------- D mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig ---------------------------------------------------------------------- Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig =================================================================== --- mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig 2006-12-10 19:15:55 UTC (rev 4954) +++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig 2006-12-10 19:16:04 UTC (rev 4955) @@ -1,18 +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. - *) - -(** - * A general purpose product datatype. - * - * A product datatype is useful for reducing the inconvenience of matching - * nested products in combinator libraries (e.g. parser combinators). - *) -signature PRODUCT = sig - datatype ('a, 'b) product = & of 'a * 'b - - include PRODUCT_TYPE - where type ('a, 'b) t = ('a, 'b) product -end |