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

diff --git a/x3/src/lib/khatus_state.mli b/x3/src/lib/khatus_state.mli
new file mode 100644
index 0000000..c097758
--- /dev/null
+++ b/x3/src/lib/khatus_state.mli
@@ -0,0 +1,10 @@
+type t =
+  { node  : string
+  ; modul : string
+  ; time  : Khatus_time.t
+  ; cache : Khatus_cache.t
+  }
+
+val init : node:string -> modul:string -> t
+
+val update : t -> msg:Khatus_msg.t -> t