|
From: Vesa K. <ve...@ml...> - 2006-12-10 11:16:45
|
Reorganized public files. ---------------------------------------------------------------------- D mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-op.sig ---------------------------------------------------------------------- Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-op.sig =================================================================== --- mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-op.sig 2006-12-10 19:16:40 UTC (rev 4960) +++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-op.sig 2006-12-10 19:16:45 UTC (rev 4961) @@ -1,14 +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. - *) - -(** Utilities for dealing with binary operators. *) -signature BIN_OP = sig - type 'a t = 'a Sq.t -> 'a - (** Type of binary operators (e.g. {+, -, @, ...}). *) - - val map : ('b, 'a) Iso.t -> 'a t -> 'b t - (** Change the sort of a binary operator. *) -end |