1 files changed, 0 insertions, 29 deletions
diff --git a/stdlib/set.mli b/stdlib/set.mli
deleted file mode 100644
index dff78105ae..0000000000
--- a/stdlib/set.mli
+++ /dev/null
@@ -1,29 +0,0 @@
-(* Sets over ordered types *)
-
-module type OrderedType =
-  sig
-    type t
-    val compare: t -> t -> int
-  end
-
-module type S =
-  sig
-    type elt
-    type t
-    val empty: t
-    val is_empty: t -> bool
-    val mem: elt -> t -> bool
-    val add: elt -> t -> t
-    val remove: elt -> t -> t
-    val union: t -> t -> t
-    val inter: t -> t -> t
-    val diff: t -> t -> t
-    val compare: t -> t -> int
-    val equal: t -> t -> bool
-    val iter: (elt -> 'a) -> t -> unit
-    val fold: (elt -> 'a -> 'a) -> t -> 'a -> 'a
-    val elements: t -> elt list
-    val choose: t -> elt
-  end
-
-module Make(Ord: OrderedType): (S with elt = Ord.t)