X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=src%2Focaml%2Flib%2Fkhatus_cache.mli;fp=src%2Focaml%2Flib%2Fkhatus_cache.mli;h=0000000000000000000000000000000000000000;hb=53d24ad688ea39892dbf3c748c1e40514eeb2763;hp=7a426f38d2bde6aeaafdb8a1954747658afb8447;hpb=0c4f892ec9d0cd7dc87c83c01b52259d0aed1ae3;p=khatus.git

diff --git a/src/ocaml/lib/khatus_cache.mli b/src/ocaml/lib/khatus_cache.mli
deleted file mode 100644
index 7a426f3..0000000
--- a/src/ocaml/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