Imandra_protocol.Server_query
Queries from the server
type t = private {
view : view;
stamp : Stamp.t;
}
and view =
| Q_input_line
| Q_request_cache of {
keys : CCh.key list;
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val pp_view : Ppx_deriving_runtime.Format.formatter -> view -> Ppx_deriving_runtime.unit
val show_view : view -> Ppx_deriving_runtime.string
val make : ?stamp:Stamp.t -> view -> t