Module Imandra_protocol.Action

An action to perform on the client side

type t =
| A_display of Imandra_document.Document.t
| A_console_print of {
msg : string;
tag : Imandra_util.Console_tag.t;
out : [ `Stderr | `Stdout ];
}
| A_status_line of {
msg : string;
}
| A_reset_line
| A_debug of Imandra_util.Debug.Debug_event.t
| A_eval of {
stamp : Stamp.t option;
code : Imandra_surface.Code_fragment.t;
}
| A_event_op of {
stamp : Stamp.t;
op : Imandra_surface.Event.op;
}
| A_declare_debug_chan of {
default : bool;
name : string;
}
| A_push_top_result of Imandra_surface.Top_result.t
| A_update_ext_solvers of Imandra_surface.Event.ext_solver_name list
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string