X-Git-Url: https://git.xandkar.net/?p=khatus.git;a=blobdiff_plain;f=x3%2Fsrc%2Flib%2Fkhatus_cache.mli;fp=x3%2Fsrc%2Flib%2Fkhatus_cache.mli;h=7a426f38d2bde6aeaafdb8a1954747658afb8447;hp=0000000000000000000000000000000000000000;hb=499c58a269a00e031302938b5a8f006f23aae451;hpb=4c703fadbdc17d1753d16841582636598f862416

diff --git a/x3/src/lib/khatus_cache.mli b/x3/src/lib/khatus_cache.mli
new file mode 100644
index 0000000..7a426f3
--- /dev/null
+++ b/x3/src/lib/khatus_cache.mli
@@ -0,0 +1,20 @@
+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