Imandra_common_ (imandra-base.Imandra_interactive.Imandra_common

include module type of struct include Common_ end

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 Patmatch2 = Imandra_interactive_lib.Patmatch2

module Reasoning_proxy = Imandra_interactive_lib.Reasoning_proxy

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 IFut = Interactive_background_thread.Fut

module Sync_queue = Imandra_util_thread.Sync_queue

module I_snap = Interactive_snapshot

module P = Imandra_protocol

module Log : Imandra_util.Debug.LOG