Globals (imandra-base.Imandra_interactive.Globals)

val console : Imandra_util.Console.Backend.t Stdlib.ref

Console backend

val db : Imandra_surface.DB_lock.t

main state for DB.t, thread safe

val top_result_sink : Imandra_surface.Top_result_sink.t Stdlib.ref

val eval_code_nested : 
  Imandra_surface.Code_fragment_eval.t option Imandra_util_thread.Lock.t

In-transaction code evaluator

module Proxy_utils : sig ... end

val rproxy : Imandra_interactive_lib.Reasoning_proxy.t Stdlib.ref

Remote reasoning proxy. This needs to be changed to use a real connection to a real backend.