Validate.Query
type t = {
evs : Imandra_surface.Event.op list;
console_cap : bool;
}
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val make : ?console_cap:bool -> Imandra_surface.Event.op list -> t
val print : Stdlib.Format.formatter -> t -> unit