1 files changed, 0 insertions, 30 deletions
diff --git a/splay.mli b/splay.mli
deleted file mode 100755
index 41c1a5a..0000000
--- a/splay.mli
+++ /dev/null
@@ -1,30 +0,0 @@
-module type KEY = sig
-
-    type 'a t
-
-    val comp: 'a t -> 'b t -> ('a, 'b) Tools.cmp
-
-    val repr: Format.formatter -> 'a t -> unit
-
-end
-
-module Make (El : KEY) : sig
-
-  type t
-
-  (** Create an empty tree *)
-  val empty: t
-
-  (** Return the element in the tree with the given key *)
-  val find: 'a El.t -> t -> 'a
-
-  (** Add one element in the tree *)
-  val add: 'a El.t -> 'a -> t -> t
-
-  (** Check if the key exists *)
-  val member: 'a El.t -> t -> bool
-
-  (** Represent the content in dot syntax *)
-  val repr: Format.formatter -> t -> unit
-
-end