Module Imandra_interactive.Common_

module Otel = Opentelemetry
include module type of struct include Imandra_interactive_lib end
module Define_check_client = Imandra_interactive_lib.Define_check_client
module Interactive_background_thread = Imandra_interactive_lib.Interactive_background_thread
module Reasoning_proxy_intf = Imandra_interactive_lib.Reasoning_proxy_intf
module Modular_decomp_state_ref = Imandra_interactive_lib.Modular_decomp_state_ref
module Reasoning_state_ref = Imandra_interactive_lib.Reasoning_state_ref
module R_proxy = Reasoning_proxy
module Sync_queue = Imandra_util_thread.Sync_queue