Oneway (imandra-base.Imandra

type view =

| Q_remote_forget of Imandra_util.Remote_ref.remote_id

| Q_exec_ops of Imandra_surface.DB_op.t list

| Q_extract_extend of Imandra_surface.Type.def list

| Q_interrupt of Stamp.t

| Q_cache of [ `On of string option | `Off | `Clear | `Sync ]

| Q_txn of Txn_query.t

| Q_send_debug of Imandra_util.Debug.Debug_event.t list

| Q_set_debug of {

names : string list;

lvl : Imandra_util.Debug.level;

}

| Q_loading_prelude_begin

| Q_loading_prelude

| Q_quit

exit

val pp_view : 
  Ppx_deriving_runtime.Format.formatter ->
  view ->
  Ppx_deriving_runtime.unit

val show_view : view -> Ppx_deriving_runtime.string

type t = private {

view : view;

trace_id : Opentelemetry.Trace_id.t option;

parent_id : Opentelemetry.Span_id.t option;

}

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

val show : t -> Ppx_deriving_runtime.string

val make : 
  ?trace_id:Opentelemetry.Trace_id.t ->
  ?parent_id:Opentelemetry.Span_id.t ->
  view ->
  t

val set_scope : 
  ?trace_id:Opentelemetry.Trace_id.t ->
  ?parent_id:Opentelemetry.Span_id.t ->
  t ->
  t

val get_scope : t -> Opentelemetry.Trace.scope option

val interrupt_q : Query.t -> t

val kind : t -> string * ( unit -> string )

Short description of the variant and the argument

val should_trace : t -> bool