Reasoning_proxy_dummy (imandra-base.Imandra_interactive.Reasoning_proxy

module P = Imandra_protocol

module Q = P.Query

module R = P.Response

module Surface_snap : Imandra_util.Snapshot_sigs.S

module Surface_snap_q : sig ... end

val process_snapshot : 
  scope:Opentelemetry.Trace.scope option ->
  P.Snapshot.Query.t ->
  R.response

val process_ : 
  scope:Opentelemetry.Trace.scope option ->
  finally:( unit -> unit ) ->
  Q.t ->
  R.response Imandra_thread_util.Fut.t

val top : 
  ?cancel:'a ->
  assume_ok:'b ->
  finally:( unit -> unit ) ->
  P.Query.t ->
  P.Response.response Imandra_thread_util.Fut.t