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

diff --git a/x3/src/lib/khatus_msg_stream.mli b/x3/src/lib/khatus_msg_stream.mli
new file mode 100644
index 0000000..20b1677
--- /dev/null
+++ b/x3/src/lib/khatus_msg_stream.mli
@@ -0,0 +1,9 @@
+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