|
From: Vesa K. <ve...@ml...> - 2006-12-10 11:13:15
|
Reorganized public files. ---------------------------------------------------------------------- D mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml ---------------------------------------------------------------------- Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml =================================================================== --- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml 2006-12-10 19:13:10 UTC (rev 4945) +++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml 2006-12-10 19:13:15 UTC (rev 4946) @@ -1,15 +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. - *) - -(** == MLKit specific extensions == *) - -structure Int31 : INTEGER = Int31 -structure Int32 : INTEGER = Int32 -structure IntInf : INT_INF = IntInf -structure Real64 : REAL = Real64 -structure SysWord : WORD = SysWord -structure Word31 : WORD = Word31 -structure Word32 : WORD = Word32 |