Module Imandra_protocol.Action

An action to perform on the client side

type view =
| 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_declare_debug_chan of {
default : bool;
name : string;
}
val pp_view : Ppx_deriving_runtime.Format.formatter -> view -> Ppx_deriving_runtime.unit
val show_view : view -> Ppx_deriving_runtime.string
type t = {
view : view;
}
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val make : view -> t