Query (imandra-base.Imandra_protocol.Verify.Query)

type t = {

negate : bool;

fc : bool option;

simp : bool option;

hints : Imandra_surface.Uid.t Imandra_surface.Hints.t option;

upto : Imandra_surface.Event.upto option;

reflect : bool;

quiet : bool;

error_on_fail : bool;

full : bool;

f : string;

}

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val pp_short : Fmt.t -> t -> unit

val make : 
  ?full:bool ->
  ?negate:bool ->
  ?quiet:bool ->
  ?fc:bool ->
  ?simp:bool ->
  ?upto:Imandra_surface.Event.upto ->
  ?hints:Imandra_surface.Uid.t Imandra_surface.Hints.t ->
  ?reflect:bool ->
  ?error_on_fail:bool ->
  string ->
  t