Module `Imandra_interactive`

module Abstractor : sig ... end

module Caml_snap : sig ... end

module Common_ : sig ... end

module Completion : sig ... end

module Completion_events : sig ... end

module Completion_ocaml : sig ... end

module Coredump : sig ... end

module Debug_cmd : sig ... end

Small command language to set debug levels.

module Define : sig ... end

Definition of new symbols

module Error_i : sig ... end

module Extract : sig ... end

module Globals : sig ... end

Global state on the client side.

module Help : sig ... end

module History : sig ... end

module Imandra : sig ... end

module Imandra_common_ : sig ... end

module Imandra_eval : sig ... end

module Imported_set : sig ... end

module Init : sig ... end

module Instance : sig ... end

module Interactive_snapshot : sig ... end

module Linenoise : sig ... end

module Modular_decomp : sig ... end

module Modular_decomp_intf : sig ... end

module Obtain_file : sig ... end

module Pconfig_io : sig ... end

module REPL_state : sig ... end

module Remote_ref : sig ... end

Interactive remote references

module Simplify : sig ... end

module Syntax_load : sig ... end

module System : sig ... end

module Tlcontext : sig ... end

Toplevel globals and low-level contextual book-keeping

module Tt : sig ... end

module Undo : sig ... end

module Util_packages : sig ... end

module Verify : sig ... end