Imandra_protocol.Msg_from_client
type t =
| Msg_query of Query.t
| Msg_oneway of Oneway.t
| Msg_give_input of string
| Msg_ping
messages send by client, received by the server
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_oneway : Oneway.t -> t
val mk_qv : ?stamp:Stamp.t -> Query.view -> t
val mk_give_input : string -> t
val serialize : t Imandra_util.Serialize.t