Module Imandra_protocol.Msg_from_server

type t =
| Msg_response of {
res : Response.t;
batch : Action.t list;
}
| Msg_action of Action.t list
| Msg_server_query of {
q : Server_query.t;
batch : Action.t list;
}
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val force_lazy : t -> unit
val serialize : t Imandra_util.Serialize.t