Imandra_protocol.Msg_from_server
type t =
| Msg_response of {
} | ||
| Msg_action of Action.t list | ||
| Msg_server_query of {
} |
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