Imandra_protocol.Msg_from_client
type t =
| Msg_query of Query.t
| Msg_client_response of Client_response.t
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val mk_q : Query.t -> t
val mk_qv : ?stamp:Stamp.t -> Query.view -> t
val serialize : t Imandra_util.Serialize.t