Module Imandra_protocol.Msg_from_server

type t =
| Msg_response of {
res : Response.t;(*

main response

*)
batch : Action.t list;(*

actions batched with this response

*)
}
| Msg_action of Action.t list
| Msg_ask_for_input of {
prompt : string;
}
| Msg_pong

messages send by server, received by the client

val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val serialize : t Imandra_util.Serialize.t