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

type t =

| Q_enable of Imandra_surface.Uid.t

| Q_disable of Imandra_surface.Uid.t

| Q_enable_trace of Imandra_surface.Uid.t

| Q_disable_trace of Imandra_surface.Uid.t

| Q_disable_trace_all

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

val show : t -> Ppx_deriving_runtime.string