X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=src%2Focaml%2Flib%2Fkhatus_msg_parser.mli;h=a4296f6d31403d405ec0b640f303ff15dfe10c9c;hb=0f81c6a873640359583d44a791e706de2d44ea1e;hp=f177b285d99883e9286cb91bc3f9a7c0d88c28c3;hpb=c6a7396ebc93cec32a1465d878ac9d36465dcb19;p=khatus.git diff --git a/src/ocaml/lib/khatus_msg_parser.mli b/src/ocaml/lib/khatus_msg_parser.mli index f177b28..a4296f6 100644 --- a/src/ocaml/lib/khatus_msg_parser.mli +++ b/src/ocaml/lib/khatus_msg_parser.mli @@ -1,8 +1,6 @@ -val parse_msg - : Lexing.lexbuf - -> - ( Khatus_msg.t - , [ `Bad_format_of_msg_head - | `Bad_format_of_msg_content - ] - ) result +type error = + [ `Bad_format_of_msg_head + | `Bad_format_of_msg_content + ] + +val parse_msg : Lexing.lexbuf -> (Khatus_msg.t, error) result