|
From: Vesa K. <ve...@ml...> - 2006-12-10 11:16:15
|
Reorganized public files. ---------------------------------------------------------------------- D mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig ---------------------------------------------------------------------- Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig =================================================================== --- mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig 2006-12-10 19:16:04 UTC (rev 4955) +++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig 2006-12-10 19:16:14 UTC (rev 4956) @@ -1,19 +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 {SUBSTRING} signature. *) -signature SUBSTRING = sig - include SUBSTRING - - type t = substring - (** Convenience alias. *) - - val length : t -> Int.t - (** - * Returns the size of the given substring. This is equivalent to - * {size}. - *) -end |