X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=src%2Focaml%2Flib%2Fkhatus_msg.mli;h=358d0ede8d31d0d2acafb80bc015ecf7b22790a0;hb=6f35286a0c7e5c5b6569f742495efc267772f7a1;hp=7f89c2b2cac654701f208ad614743403ea716cba;hpb=5bdce5de1d06bd71c016cfe969f8d8e406f54a9e;p=khatus.git diff --git a/src/ocaml/lib/khatus_msg.mli b/src/ocaml/lib/khatus_msg.mli index 7f89c2b..358d0ed 100644 --- a/src/ocaml/lib/khatus_msg.mli +++ b/src/ocaml/lib/khatus_msg.mli @@ -15,6 +15,9 @@ type content = type t = {node : string; modul : string; content : content} +type 'a data_handler = + (node:string -> modul:string -> key:string list -> value:string -> 'a) + val to_string : t -> string -val next_time : t -> node:string -> time:Khatus_time.t -> Khatus_time.t +val handle_data : t -> f:'a data_handler -> otherwise:'a -> 'a