Improve overview and experiment naming

[khatus.git] / v3 / src / lib / khatus_cache.mli

diff --git a/v3/src/lib/khatus_cache.mli b/v3/src/lib/khatus_cache.mli
deleted file mode 100644 (file)
index 7a426f3..0000000
--- a/v3/src/lib/khatus_cache.mli
+++ /dev/null
@@ -1,20 +0,0 @@
-type t
-
-val create : unit -> t
-
-val update
-  : t
-  -> node  : string
-  -> modul : string
-  -> key   : (string list)
-  -> value : string
-  -> time  : Khatus_time.t
-  -> unit
-
-val dump_to_dir
-  : t
-  -> time:Khatus_time.t
-  -> node:string
-  -> modul:string
-  -> dir:string
-  -> unit