X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=v3%2Fsrc%2Flib%2Fkhatus_msg_stream.mli;fp=v3%2Fsrc%2Flib%2Fkhatus_msg_stream.mli;h=20b16771cf1d0f5650e8dff888e9d97f03b80028;hb=53d24ad688ea39892dbf3c748c1e40514eeb2763;hp=0000000000000000000000000000000000000000;hpb=0c4f892ec9d0cd7dc87c83c01b52259d0aed1ae3;p=khatus.git diff --git a/v3/src/lib/khatus_msg_stream.mli b/v3/src/lib/khatus_msg_stream.mli new file mode 100644 index 0000000..20b1677 --- /dev/null +++ b/v3/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