Remote_ref (imandra-base.Imandra_interactive.Reasoning_proxy.Remote

val show : 
  ?scope:scope ->
  _ Imandra_util.Remote_ref.t ->
  string Imandra_thread_util.Fut.t

Show content of remote reference

val show_shared : 
  ?scope:scope ->
  _ Imandra_util.Remote_ref.Shared.t ->
  string Imandra_thread_util.Fut.t

val show_block : ?scope:scope -> _ Imandra_util.Remote_ref.t -> string

val get_shared : 
  ?scope:scope ->
  'a Imandra_util.Remote_ref.Shared.t ->
  'a Imandra_thread_util.Fut.t

Obtain value of this shared object. Might involve a network query.

val get_shared_cached : 'a Imandra_util.Remote_ref.Shared.t -> 'a option

val get_shared_block : 
  ?scope:scope ->
  'a Imandra_util.Remote_ref.Shared.t ->
  'a

Obtain value of this shared object, blocking if IOs are required.