Improve overview and experiment naming

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

diff --git a/v3/src/lib/khatus_msg_stream.mli b/v3/src/lib/khatus_msg_stream.mli
deleted file mode 100644 (file)
index 20b1677..0000000
--- a/v3/src/lib/khatus_msg_stream.mli
+++ /dev/null
@@ -1,9 +0,0 @@
-type t
-
-val init : node:string -> modul:string -> t
-
-val fold
-  : t
-  -> f:('a -> state:Khatus_state.t -> msg:Khatus_msg.t -> 'a)
-  -> init:'a
-  -> 'a