Imandra_client_lib (imandra-client.Imandra_client

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 Fol_term = Imandra_fol.Term

module Fol_ty = Imandra_fol.Ty

module Fol_var = Imandra_fol.Var

module Cname = Imandra_fol.Cname

module Spec_term = Imandra_surface.Spec_term

module Spec_ty = Imandra_surface.Spec_ty

module Spec_var = Imandra_surface.Spec_var

module Builtin = Imandra_surface.Builtin

module Code_fragment = Imandra_surface.Code_fragment

module Code_fragment_eval = Imandra_surface.Code_fragment_eval

module Document = Imandra_document.Document

module Event = Imandra_surface.Event

module DB_op = Imandra_surface.DB_op

module DB = Imandra_surface.DB

module DB_ref = Imandra_surface.DB_ref

module DB_lock = Imandra_surface.DB_lock

module Hints = Imandra_surface.Hints

module Term = Imandra_surface.Term

module Type = Imandra_surface.Type

module Top_result = Imandra_surface.Top_result

module Uid = Imandra_surface.Uid

module Var = Imandra_surface.Var

module Syntax = Imandra_syntax.Syntax

module Rewrite_parsetree = Imandra_syntax.Rewrite_parsetree

module Util_io = Imandra_syntax.Util_io

module Util_iloc = Imandra_syntax.Util_iloc

module Qid = Imandra_syntax.Qid

module Logic_ast = Imandra_syntax.Logic_ast

module Pre_conv = Imandra_syntax.Pre_conv

module Pconfig = Imandra_util_frontend.Pconfig

module Util = Imandra_util.Util

module Debug = Imandra_util.Debug

module Console = Imandra_util.Console

module Error = Imandra_util.Error

module Iloc = Imandra_util.Iloc

module Switch = Imandra_util.Switch

module TEF = Imandra_util.TEF

module Background_thread = Imandra_util_thread.Background_thread

module Fut = Imandra_util_thread.Fut

module Sync_queue = Imandra_util_thread.Sync_queue

module Codegen = Imandra_codegen

module Gen_pp = Imandra_codegen.Gen_pp

module Serde_yojson = Imandra_codegen.Serde_yojson

exception ServerExit

Raised if the server exited unexpectedly

module Server_conn : sig ... end

Connection to the server process

val db : unit -> Imandra_surface.DB.t

module Client : sig ... end

module Client_with_no_backend : sig ... end