Module Imandra_interactive.Modular_decomp_intf

module Otel = Opentelemetry
module MR = Imandra_surface.Modular_region
module MD = Imandra_surface.Modular_decomposition
type region_ref = MR.RRef.t
type decomp_ref = MD.RRef.t
type decomp = MD.concrete
type rstate_ref = Reasoning_state_ref.t
type mdstate_ref = Modular_decomp_state_ref.t
type scope = Otel.Trace.scope
module type S = sig ... end