|
From: Vesa K. <ve...@ml...> - 2006-12-10 11:12:24
|
Reorganized public files. ---------------------------------------------------------------------- D mltonlib/trunk/com/ssh/extended-basis/unstable/public/pair.sig ---------------------------------------------------------------------- Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/pair.sig =================================================================== --- mltonlib/trunk/com/ssh/extended-basis/unstable/public/pair.sig 2006-12-10 19:12:19 UTC (rev 4937) +++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/pair.sig 2006-12-10 19:12:24 UTC (rev 4938) @@ -1,12 +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 PAIR = sig - type ('a, 'b) pair = 'a * 'b - - include PRODUCT_TYPE - where type ('a, 'b) t = ('a, 'b) pair -end |