X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=src%2Focaml%2Flib%2Fkhatus_msg_stream.mli;fp=src%2Focaml%2Flib%2Fkhatus_msg_stream.mli;h=0000000000000000000000000000000000000000;hb=53d24ad688ea39892dbf3c748c1e40514eeb2763;hp=20b16771cf1d0f5650e8dff888e9d97f03b80028;hpb=0c4f892ec9d0cd7dc87c83c01b52259d0aed1ae3;p=khatus.git

diff --git a/src/ocaml/lib/khatus_msg_stream.mli b/src/ocaml/lib/khatus_msg_stream.mli
deleted file mode 100644
index 20b1677..0000000
--- a/src/ocaml/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