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