Module Message_stream
val (>>=) : 'a Lwt.t -> ('a -> 'b Lwt.t) -> 'b Lwt.tval split_into_key_value : char -> char Lwt_stream.t -> (Imandra_prelude.string * Imandra_prelude.string) Lwt_stream.tval split_into_messages : bool -> (Imandra_prelude.string * Imandra_prelude.string) Lwt_stream.t -> (Imandra_prelude.string * Imandra_prelude.string) list Lwt_stream.tval from_channel : ?verbose:bool -> ?spliton:char -> Lwt_io.input_channel -> (Imandra_prelude.string * Imandra_prelude.string) list Lwt_stream.t