Module Imandra_interactive_lib

module Define_check_client : sig ... end

Definition of new symbols.

module Interactive_background_thread : sig ... end
module Patmatch2 : sig ... end
module Reasoning_proxy : sig ... end

Interface to backend

module Reasoning_proxy_intf : sig ... end

Signatures for the interface to backend

module Modular_decomp_state_ref : sig ... end

Reference to a remote reasoning state

module Reasoning_state_ref : sig ... end

Reference to a remote reasoning state