X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=v3%2Fsrc%2Flib%2Fkhatus_cache.mli;fp=v3%2Fsrc%2Flib%2Fkhatus_cache.mli;h=7a426f38d2bde6aeaafdb8a1954747658afb8447;hb=53d24ad688ea39892dbf3c748c1e40514eeb2763;hp=0000000000000000000000000000000000000000;hpb=0c4f892ec9d0cd7dc87c83c01b52259d0aed1ae3;p=khatus.git diff --git a/v3/src/lib/khatus_cache.mli b/v3/src/lib/khatus_cache.mli new file mode 100644 index 0000000..7a426f3 --- /dev/null +++ b/v3/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