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

type t = {

asms : Imandra_surface.Term.t list;

fixpoint : bool option;

basis : string list;

mode : Imandra_surface.Top_result.simplify_mode;

args : Imandra_surface.Var.t list;

term : Imandra_surface.Term.t;

is_clause : bool;

}

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

val show : t -> Ppx_deriving_runtime.string

val make : 
  ?asms:Imandra_surface.Term.t list ->
  ?fixpoint:bool ->
  ?basis:string list ->
  mode:Imandra_surface.Top_result.simplify_mode ->
  Imandra_surface.Var.t list ->
  Imandra_surface.Term.t ->
  t

val make_clause : 
  ?asms:Imandra_surface.Term.t list ->
  ?fixpoint:bool ->
  ?basis:string list ->
  mode:Imandra_surface.Top_result.simplify_mode ->
  Imandra_surface.Var.t list ->
  Imandra_surface.Term.t ->
  t