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

diff --git a/v3/src/lib/khatus_state.mli b/v3/src/lib/khatus_state.mli
deleted file mode 100644
index c097758..0000000
--- a/v3/src/lib/khatus_state.mli
+++ /dev/null
@@ -1,10 +0,0 @@
-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