From baec1f466efa0b8de046853031e52c1fe796c540 Mon Sep 17 00:00:00 2001 From: Fardale Date: Thu, 5 Mar 2020 19:59:59 +0100 Subject: [PATCH] clean(Set): remove functions defined in Stdlib --- src/core/CCSet.ml | 6 ------ src/core/CCSet.mli | 4 ---- 2 files changed, 10 deletions(-) diff --git a/src/core/CCSet.ml b/src/core/CCSet.ml index 31b94661..ce62d920 100644 --- a/src/core/CCSet.ml +++ b/src/core/CCSet.ml @@ -77,10 +77,6 @@ module type S = sig @deprecated use {!to_iter} instead. *) [@@ocaml.deprecated "use to_iter instead"] - val of_list : elt list -> t - (** Build a set from the given list of elements, - added in order using {!add}. *) - val add_list : t -> elt list -> t (** @since 0.14 *) @@ -176,8 +172,6 @@ module Make(O : Map.OrderedType) = struct let add_list = List.fold_left (fun set x -> add x set) - let of_list l = add_list empty l - let to_list = elements let to_string ?(start="") ?(stop="") ?(sep=",") elt_to_string h = diff --git a/src/core/CCSet.mli b/src/core/CCSet.mli index 0354c885..16e202e1 100644 --- a/src/core/CCSet.mli +++ b/src/core/CCSet.mli @@ -80,10 +80,6 @@ module type S = sig @deprecated use {!to_iter} instead. *) [@@ocaml.deprecated "use to_iter instead"] - val of_list : elt list -> t - (** Build a set from the given list of elements, - added in order using {!add}. *) - val add_list : t -> elt list -> t (** @since 0.14 *)