From 301205fafd8502d0df5e913a7f696b94bdcebdf4 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 6 Feb 2013 14:54:15 +0100 Subject: [PATCH] junk signature removed --- sequence.mli | 3 --- 1 file changed, 3 deletions(-) diff --git a/sequence.mli b/sequence.mli index e9e50f9..8810a67 100644 --- a/sequence.mli +++ b/sequence.mli @@ -151,9 +151,6 @@ val of_set : (module Set.S with type elt = 'a and type t = 'b) -> 'b -> 'a t val to_set : (module Set.S with type elt = 'a and type t = 'b) -> 'a t -> 'b (** Convert the sequence to a set, given the proper set module *) -val of_map : (module Map.S with type key = 'a and type t = 'b) -> 'b -> ('a * 'c) t - (** Convert the Map to the sequence of its key/values *) - (** Iterate on maps. The functor must be instantiated with a map type *) module Map(M : Map.S) : sig