Imandra_client_lib
module Define = Imandra_interactive.Define
module Help = Imandra_interactive.Help
module Imandra = Imandra_interactive.Imandra
module Imandra_eval = Imandra_interactive.Imandra_eval
module History = Imandra_interactive.History
module Tlcontext = Imandra_interactive.Tlcontext
module System = Imandra_interactive.System
module Pconfig_io = Imandra_interactive.Pconfig_io
module Extract = Imandra_interactive.Extract
module Verify = Imandra_interactive.Verify
module Instance = Imandra_interactive.Instance
module Simplify = Imandra_interactive.Simplify
module Debug_cmd = Imandra_interactive.Debug_cmd
module Completion = Imandra_interactive.Completion
module Completion_events = Imandra_interactive.Completion_events
module Completion_ocaml = Imandra_interactive.Completion_ocaml
module Globals = Imandra_interactive.Globals
module Reasoning_proxy = Imandra_interactive_lib.Reasoning_proxy
module Coredump = Imandra_interactive.Coredump
module Remote_ref = Imandra_interactive.Remote_ref
module Codegen = Imandra_codegen
module Gen_pp = Imandra_codegen.Gen_pp
module Serde_yojson = Imandra_codegen.Serde_yojson
module Server_conn : sig ... end
Connection to the server process
module Client : sig ... end
module Client_with_no_backend : sig ... end