From a6b5a6bdd138a5ccc6827bcc73580df1e9218820 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 24 Nov 2017 09:22:24 +0100 Subject: Moved all the code to src directory --- splay.mli | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100755 splay.mli (limited to 'splay.mli') 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 -- cgit v1.2.3