Improve overview and experiment naming

[khatus.git] / v3 / src / lib / khatus_state.mli

diff --git a/v3/src/lib/khatus_state.mli b/v3/src/lib/khatus_state.mli
deleted file mode 100644 (file)
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